3. FATES 2003:
Montreal, Quebec, Canada
Alexandre Petrenko, Andreas Ulrich (Eds.):
Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003.
Lecture Notes in Computer Science 2931 Springer 2004, ISBN 3-540-20894-1 
- Benjamin Tyler, Neelam Soundarajan:
Black-Box Testing of Grey-Box Behavior.
1-14
- Alper Sen, Vijay K. Garg:
On Checking Whether a Predicate Definitely Holds.
15-29
- Reiner Hähnle, Angela Wallenburg:
Using a Software Testing Technique to Improve Theorem Proving.
30-41
- Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao:
Auto-generating Test Sequences Using Model Checkers: A Case Study.
42-59
- Tao Xie, David Notkin:
Mutually Enhancing Test Generation and Specification Inference.
60-69
- Guoqing (Harry) Xu, Zongyuang Yang:
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit.
70-85
- Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Compositional Testing with ioco.
86-100
- Timo Aaltonen:
Defining Observation Objectives for Reactive and Distributed Systems.
101-113
- Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal.
114-130
- Ahmed Khoumsi, Thierry Jéron, Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems.
131-146
- Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon:
Property Oriented Test Case Generation.
147-163
- Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms.
164-177
- Olaf Henniger, Miao Lu, Hasan Ural:
Automatic Generation of Test Purposes for Testing Distributed Systems.
178-191
- Ahyoung Sung, Byoungju Choi:
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.
192-204
- Harm M. A. van Beek, Sjouke Mauw:
Automatic Conformance Testing of Internet Applications.
205-222
- Mourad Badri, Linda Badri, Marius Naha:
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams.
223-235
- Sita Ramakrishnan:
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.
236-251
- Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL.
252-266
Last update Wed May 22 23:31:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
