71 citations · 448 across the 43 of their papers we have counts for
4 papers · 1 filter
Right and wrong: ten choices in language design
Bertrand Meyer
A description of language design choices that have profound effects on software quality, criticism of how ordinary OO languages address them, and explanation of the thinking behind…
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev +3
A paradox of requirements specifications as dominantly practiced in the industry is that they often claim to be object-oriented (OO) but largely rely on procedural (non-OO) techniq…
Improving Counterexample Quality from Failed Program Verification
Li Huang, Bertrand Meyer, Manuel Oriol
In software verification, a successful automated program proof is the ultimate triumph. The road to such success is, however, paved with many failed proof attempts. The message pro…
A Failed Proof Can Yield a Useful Test
Li Huang, Bertrand Meyer
A successful automated program proof is, in software verification, the ultimate triumph. In practice, however, the road to such success is paved with many failed proof attempts. Un…