Skip to main content
SpringerLink
Log in
Book cover

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Alexandre Petrenko

    1. CRIM, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andreas Ulrich

    1. Siemens AG, Corporate Research & Technologies CT SE 1, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2931)

Included in the following conference series:

Conference proceedings info: FATES 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Program Testing and Analysis

    1. Black-Box Testing of Grey-Box Behavior

      • Benjamin Tyler, Neelam Soundarajan
      Pages 1-14

    2. On Checking Whether a Predicate Definitely Holds

      • Alper Sen, Vijay K. Garg
      Pages 15-29

    3. Using a Software Testing Technique to Improve Theorem Proving

      • Reiner Hähnle, Angela Wallenburg
      Pages 30-41

    4. Auto-generating Test Sequences Using Model Checkers: A Case Study

      • Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
      Pages 42-59

    5. Mutually Enhancing Test Generation and Specification Inference

      • Tao Xie, David Notkin
      Pages 60-69

    6. JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

      • Guoqing Xu, Zongyuang Yang
      Pages 70-85

  3. Test Theory and Test Derivation Algorithms

    1. Compositional Testing with ioco

      • Machiel van der Bijl, Arend Rensink, Jan Tretmans
      Pages 86-100

    2. Defining Observation Objectives for Reactive and Distributed Systems

      • Timo Aaltonen
      Pages 101-113

    3. Time-Optimal Real-Time Test Case Generation Using Uppaal

      • Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
      Pages 114-130

    4. Test Cases Generation for Nondeterministic Real-Time Systems

      • Ahmed Khoumsi, Thierry Jéron, Hervé Marchand
      Pages 131-146

    5. Property Oriented Test Case Generation

      • Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
      Pages 147-163

    6. Computing Unique Input/Output Sequences Using Genetic Algorithms

      • Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
      Pages 164-177

    7. Automatic Generation of Test Purposes for Testing Distributed Systems

      • Olaf Henniger, Miao Lu, Hasan Ural
      Pages 178-191

  4. Test Methods and Test Tools

    1. Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation

      • Ahyoung Sung, Byoungju Choi
      Pages 192-204

    2. Automatic Conformance Testing of Internet Applications

      • Harm M. A. van Beek, Sjouke Mauw
      Pages 205-222

    3. A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams

      • Mourad Badri, Linda Badri, Marius Naha
      Pages 223-235

    4. VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile

      • Sita Ramakrishnan
      Pages 236-251

    5. Towards a Tool Environment for Model-Based Testing with AsmL

      • Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
      Pages 252-266

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Approaches to Software Testing

Keywords

About this book

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.

Editors and Affiliations

  • CRIM, Canada

    Alexandre Petrenko

  • Siemens AG, Corporate Research & Technologies CT SE 1, Munich, Germany

    Andreas Ulrich

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation