3 papers
cs.SE2025
Programming Really Is Simple Mathematics
Bertrand Meyer, Reto Weber
A re-construction of the fundamentals of programming as a small mathematical theory (PRISM) based on elementary set theory. Highlights: Zero axioms. No properties are ass…
cs.SE2025
Loop unrolling: formal definition and application to testing
Li Huang, Bertrand Meyer, Reto Weber
Testing processes usually aim at high coverage, but loops severely limit coverage ambitions since the number of iterations is generally not predictable. Most testing teams address…
cs.SE2024
A formal definition of loop unrolling with applications to test coverage
Bertrand Meyer
Techniques to achieve various forms of test coverage, such as branch coverage, typically do not iterate loops; in other words, they treat a loop as a conditional, executed zero or…