71 citations · 448 across the 43 of their papers we have counts for
45 papers
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…
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…
The concept of class invariant in object-oriented programming
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov
Class invariants -- consistency constraints preserved by every operation on objects of a given type -- are fundamental to building, understanding and verifying object-oriented prog…