|
Program
|
13:45 - 13:50
|
Opening (Johannes Mayer, Robert Merkel)
|
13:50 - 15:30
|
Session 1
(Chair: Robert Merkel)
- When Only Random Testing Will Do
Dick Hamlet
- Uniform Random Sampling of Traces in Very Large Models
Alain Denise, Marie-Claude Gaudel, Sandrine Gouraud, Richard Lassaigne, Sylvain Peyronnet
- Random Testing of Formal Software Models and Induced Coverage
David Owen, Dejan Desovski, Bojan Cukic
- Path-oriented Random Testing
Arnaud Gotlieb, Matthieu Petit
- Tool Support for Randomized Unit Testing
James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li
|
15:30 - 16:00
|
Coffee Break
|
16:00 - 17:30
|
Session 2
(Chair: Dick Hamlet)
- An Empirical Study of the Robustness of MacOS Applications Using Random Testing
Barton Miller, Gregory Cooksey, Fredrick Moore
- Object distance and its application to adaptive random testing of object-oriented programs
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer
- Is Adaptive Random Testing Really Better Than Random Testing
T. Y. Chen, F.-C. Kuo
- Adaptive Random Testing with Randomly Translated Failure Region
Johannes Mayer
|
17:30
|
Closing
|
|