Skip to main content
SpringerLink
Log in

Formal Approaches to Software Testing

4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Jens Grabowski

    1. University of Goettingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Brian Nielsen

    1. Department of Computer Science, Aalborg University, Aalborg, Denmark

    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 3395)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FATES 2004.

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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Symbolic Test Generation

    1. Test Generation Based on Symbolic Specifications

      • Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
      Pages 1-15

    2. Symbolic Test Case Generation for Primitive Recursive Functions

      • Achim D. Brucker, Burkhart Wolff
      Pages 16-32

    3. Preserving Contexts for Soft Conformance Relation

      • David de Frutos Escrig, Carlos Gregorio Rodróguez
      Pages 33-48

  3. Testing Non-functional Properties

    1. Testing of Symbolic-Probabilistic Systems

      • Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 49-63

    2. A Test Generation Framework for quiescent Real-Time Systems

      • Laura Brandán Briones, Ed Brinksma
      Pages 64-78

    3. Online Testing of Real-time Systems Using Uppaal

      • Kim G. Larsen, Marius Mikucionis, Brian Nielsen
      Pages 79-94

    4. Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

      • Behzad Bordbar, Kozo Okano
      Pages 95-109

  4. Test Development with Model Checking Techniques

    1. Using Model Checking for Reducing the Cost of Test Generation

      • Hyoung Seok Hong, Hasan Ural
      Pages 110-124

    2. Specifying and Generating Test Cases Using Observer Automata

      • Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
      Pages 125-139

    3. Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang

      • Thomas Arts, Koen Claessen, Hans Svensson
      Pages 140-154

    4. An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

      • Gaoyan Xie, Zhe Dang
      Pages 155-169

  5. Test Optimization

    1. Test Patterns with TTCN-3

      • Alain Vouffo-Feudjio, Ina Schieferdecker
      Pages 170-179

    2. High-Level Restructuring of TTCN-3 Test Data

      • Antal Wu-Hen-Chang, D ung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki
      Pages 180-194

    3. Ordering Mutants to Minimise Test Effort in Mutation Testing

      • Kalpesh Kapoor, Jonathan P. Bowen
      Pages 195-209

    4. Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study

      • Hoijin Yoon, Eunhee Kim, Joo Young Seo, Byoungju Choi
      Pages 210-224

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Approaches to Software Testing

Keywords

About this book

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.

Editors and Affiliations

  • University of Goettingen, Germany

    Jens Grabowski

  • Department of Computer Science, Aalborg University, Aalborg, Denmark

    Brian Nielsen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation