1. A comparative study of programmer-written and automatically inferred contracts

Polikarpova, Nadezhda, Ciupa, Ilinca and Meyer, Bertrand

Reports

2. An IDE-based, integrated solution to Schema Evolution of Object-Oriented Software

Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand and Schneider, Teseo (2009)

Reports

3. An IDE-based solution for schema evolution of object-oriented software

Piccioni, Marco, Oriol, Manuel, Meyer, Bertrand and Schneider, Teseo (2009)

Reports

4. Automatic testing of object-oriented software

Meyer, Bertrand, Ciupa, Ilinca, Leitner, Andreas and Liu, Lisa (Ling)

Reports

5. Eiffel

Meyer, Bertrand (2002)

Videos

6. Finding faults: manual testing vs. random testing+ vs. user reports

Ciupa, Ilinca, Oriol, Manuel, Pretschner, Alexander and Meyer, Bertrand

Reports

7. Is coverage a good measure of testing effectiveness?

Wei, Yi, Oriol, Manuel and Meyer, Bertrand (2010)

Reports

8. Origo roadmap

Bay, Till Gaston Balz, Oriol, Manuel and Meyer, Bertrand

Reports

9. Release early and often: developing software with Origo

Bay, Till Gaston Balz, Oriol, Manuel and Meyer, Bertrand

Reports

10. SCOOP in practice

Alavi, Mohammad Seyed, Nanz, Sebastian and Meyer, Bertrand (2010)

Reports

11. The allure and risks of a deployable software engineering project

Piccioni, Marco and Meyer, Bertrand

Reports

12. The prior experience of entering CS students

Pedroni, Michela, Oriol, Manuel and Meyer, Bertrand (2011)

Reports

13. What do beginning CS majors know?

Pedroni, Michaela, Meyer, Bertrand and Oriol, Manuel (2009)

Reports