Automated Fixing of Programs with Contracts.
IEEE Trans. Software Eng., 2014
The search for the laws of automatic random testing.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
What good are strong specifications?
Proceedings of the 35th International Conference on Software Engineering, 2013
Putting Contracts to Work for Better Automated Testing and Fixing.
PhD thesis, 2012
Evidence-Based Automated Program Fixing
CoRR, 2011
Stateful testing: Finding more errors in code and contracts.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Code-based automated program fixing.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Inferring better contracts.
Proceedings of the 33rd International Conference on Software Engineering, 2011
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
Is Branch Coverage a Good Measure of Testing Effectiveness?
Proceedings of the Empirical Software Engineering and Verification, 2010
Automated fixing of programs with contracts.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010
Satisfying Test Preconditions through Guided Object Selection.
Proceedings of the Third International Conference on Software Testing, 2010
Programs That Test Themselves.
Computer, 2009