22 citations · 27 across the 9 of their papers we have counts for
9 papers
Combining Tests and Proofs for Better Software Verification
Li Huang, Bertrand Meyer, Manuel Oriol
Test or prove? These two approaches to software verification have long been presented as opposites. One is dynamic, the other static: a test executes the program, a proof only anal…
Execution-free Program Repair
Li Huang, Bertrand Meyer, Ilgiz Mustafin +1
Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes mu…
Seeding Contradiction: a fast method for generating full-coverage test suites
Li Huang, Bertrand Meyer, Manuel Oriol
The regression test suite, a key resource for managing program evolution, needs to achieve 100% coverage, or very close, to be useful. Devising a test suite manually is unacceptabl…
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…
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two typ…
Execution Time Analysis for Industrial Control Applications
Stefan Stattelmann, Manuel Oriol, Thomas Gamer
Estimating the execution time of software components is often mandatory when evaluating the non-functional properties of software-intensive systems. This particularly holds for rea…
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…
C to O-O Translation: Beyond the Easy Stuff
Marco Trudel, Carlo A. Furia, Martin Nordio +2
Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper…
The Business of Selling Electronic Documents
Manuel Oriol
The music industry has huge troubles adapting to the new technologies. As many pointed out, when copying music is essentially free and socially accepted it becomes increasingly tem…