| Johannes Mayer 2006-06-17, 7:09 pm |
| ****************************************
*****************************
CALL FOR PARTICIPATION
FIRST INTERNATIONAL WORKSHOP
ON RANDOM TESTING (RT'06)
Holiday Inn by the Bay
Portland, Maine, USA
July 20, 2006
http://www.mathematik.uni-ulm.de/sai/jmayer/rt06/
co-located with International Symposium on
Software Testing and Analysis (ISSTA 2006), July 17-20
http://www.cis.udel.edu/issta06/
[color=darkred]
****************************************
*****************************
The proceedings are published in the ACM Digital Library.
ABOUT THE WORKSHOP
Testing remains the primary means by which the efficacy of software
is assessed. It is, however, labour-intensive, slow, and highly
reliant on the specialized skills of human testers, in themselves
error prone. The automation of testing processes is therefore a topic
of considerable practical importance; Random Testing represents a
relatively simple and practical method of doing so, and has been used
in a variety of industrial applications. Random testing, also known
as statistical or operational testing, is used for many types of
testing. These range from unit debug testing, to reliability and
performance assessments of complete systems. Its sheer simplicity is
also of theoretical interest, as an easily modelled baseline other
testing techniques can be compared to.
The goal of this workshop is to bring together researchers,
engineers, and practitioners to discuss and evaluate the latest
challenges and breakthroughs in the field of Random Testing and to
identify future trends and problems in this area. The combination of
people from both academia and industry is intended to help on the one
hand transferring problems from industry to academia and on the other
hand providing practical applications for theoretical research
results.
PROGRAM
July 17 - July 20: ISSTA Conference
July 20 afternoon
13:45 - 13:50 Opening
13:50 - 15:30
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
An Empirical Study of the Robustness of MacOS Applications
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
REGISTRATION
Registration (for either the workshop alone or in combination with
the ISSTA conference) is through the ISSTA website:
http://www.cis.udel.edu/issta06/
We hope to see you at RT'06!
Johannes Mayer and Robert Merkel
Co-organisers, RT'06.
|