71 citations · 448 across the 43 of their papers we have counts for
4 papers · 2 filters
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…
Contracts in Practice
H. -Christian Estler, Carlo A. Furia, Martin Nordio +2
Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to…
Loop invariants: analysis, classification, and examples
Carlo A. Furia, Bertrand Meyer, Sergey Velder
Software verification has emerged as a key concern for ensuring the continued progress of information technology. Full verification generally requires, as a crucial step, equipping…
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…