3. FATES 2003: Montreal, Quebec, Canada

@proceedings{DBLP:conf/fates/2003,
  editor    = {Alexandre Petrenko and
               Andreas Ulrich},
  title     = {Formal Approaches to Software Testing, Third International Workshop
               on Formal Approaches to Testing of Software, FATES 2003, Montreal,
               Quebec, Canada, October 6th, 2003},
  booktitle = {FATES},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2931},
  year      = {2004},
  isbn      = {3-540-20894-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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