Book Chapter
Design-Driven Testing
2007, Use Case Driven Object Modeling with UML, Part 4, Pages 329-372
Book Chapter
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols
Cyril Grepet and Stephane Maag
Lecture Notes in Computer Science, 2007, Volume 4581, Testing of Software and Communicating Systems, Pages 123-137
Book Chapter
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems
Guy Durrieu, Hélène Waeselynck and Virginie Wiels
Lecture Notes in Computer Science, 2009, Volume 5596, Formal Methods for Industrial Critical Systems, Pages 7-22
Book Chapter
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
Rasha Tawhid and Dorina Petriu
Lecture Notes in Computer Science, 2008, Volume 5301, Model Driven Engineering Languages and Systems, Pages 490-504
Book Chapter
Guided Test Generation from CSP Models
Sidney Nogueira, Augusto Sampaio and Alexandre Mota
Lecture Notes in Computer Science, 2008, Volume 5160, Theoretical Aspects of Computing - ICTAC 2008, Pages 258-273
Book Chapter
Testing Real-Time Systems Using UPPAAL
Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen and Paul Pettersson, et al.
Lecture Notes in Computer Science, 2008, Volume 4949, Formal Methods and Testing, Pages 77-117
Book Chapter
Derivation of Test Objectives Automatically
J. Gutierrez, M. Escalona, M. Mejías and J. Torres
2007, Advances in Information Systems Development, Pages 435-446
Book Chapter
Consistency, Independence and Consequences in UML and OCL Models
Martin Gogolla, Mirco Kuhlmann and Lars Hamann
Lecture Notes in Computer Science, 2009, Volume 5668, Tests and Proofs, Pages 90-104
Book Chapter
Model-Based Testing Using LSCs and S2A
Shahar Maoz, Jani Metsä and Mika Katara
Lecture Notes in Computer Science, 2009, Volume 5795, Model Driven Engineering Languages and Systems, Pages 301-306
Book Chapter
Model-Based Testing and the UML Testing Profile
Padmanabhan Krishnan and Percy Pari-Salas
Lecture Notes in Computer Science, 2009, Volume 5700, Semantics and Algebraic Specification, Pages 315-328