149 citations · 152 across the 3 of their papers we have counts for
5 papers
Automated Fixing of Programs with Contracts
Yu Pei, Carlo A. Furia, Martin Nordio +3
This paper describes AutoFix, an automatic debugging technique that can fix faults in general-purpose software. To provide high-quality fix suggestions and to enable automation of…
The Search for the Laws of Automatic Random Testing
Carlo A. Furia, Bertrand Meyer, Manuel Oriol +2
Can one estimate the number of remaining faults in a software system? A credible estimation technique would be immensely useful to project managers as well as customers. It would a…
What Good Are Strong Specifications?
Nadia Polikarpova, Carlo A. Furia, Yu Pei +2
Experience with lightweight formal methods suggests that programmers are willing to write specification if it brings tangible benefits to their usual development activities. This p…
Stateful Testing: Finding More Errors in Code and Contracts
Yi Wei, Hannes Roth, Carlo A. Furia +5
Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many fau…
Code-based Automated Program Fixing
Yu Pei, Yi Wei, Carlo A. Furia +2
Many programmers, when they encounter an error, would like to have the benefit of automatic fix suggestions---as long as they are, most of the time, adequate. Initial research in t…