| 2008 |
| - Course management with TrucStudio. Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer, In ITiCSE, 2008. [pdf]
[bib]
|
| - Automatic extraction of notions from course material. Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer, In SIGCSE, 2008. [pdf]
[bib]
|
| - Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (R. Paige, ed.), Springer-Verlag, 2008. [pdf]
[bib]
|
| - Formalizing Proof-Transforming Compilation of Eiffel Programs. Martin Nordio, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2008. [pdf]
[bib]
|
| - Compiler error messages: what can help novices?. Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer, In SIGCSE, 2008. [pdf]
[bib]
|
| - The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. Bertrand Meyer, Marco Piccioni, In CSEE&T, 2008. [pdf]
[bib]
|
| - Design and Code Reviews in the Age of the Internet. Bertrand Meyer, In SEAFOOD, 2008. [pdf]
[bib]
|
| - Eiffel for .NET Binding for db4o. Ruihua Jin, Marco Piccioni, In ICOODB (J. Paterson S. Edlich, ed.), 2008. [pdf]
[bib]
|
| - ARTOO: Adaptive Random Testing for Object-Oriented Software. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the 30th International Conference on Software Engineering 2008 (ICSE'08), 2008. [pdf]
[bib]
|
| - Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. I. Ciupa, B. Meyer, M. Oriol, A. Pretschner, In missing booktitle, Wiley Interscience, 2008.
[bib]
|
| - On the Predictability of Random Tests for Object-Oriented Software. Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer, In Proceedings of the First International Conference on Software Testing, Verification and Validation (ICST'08), 2008. [pdf]
[bib]
|
| - Strategies for random-contract based testing. Ilinca Ciupa, PhD thesis, ETH Zurich, Switzerland, 2008. [pdf]
[bib]
|
