Programming and Software Engineering

Formal Approaches to Software Testing

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

Editors: Grabowski, Jens, Nielsen, Brian (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-31848-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-25109-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (15 chapters)

  • Test Generation Based on Symbolic Specifications

    Frantzen, Lars (et al.)

    Pages 1-15

  • Symbolic Test Case Generation for Primitive Recursive Functions

    Brucker, Achim D. (et al.)

    Pages 16-32

  • Preserving Contexts for Soft Conformance Relation

    Frutos Escrig, David (et al.)

    Pages 33-48

  • Testing of Symbolic-Probabilistic Systems

    López, Natalia (et al.)

    Pages 49-63

  • A Test Generation Framework for quiescent Real-Time Systems

    Briones, Laura Brandán (et al.)

    Pages 64-78

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-31848-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-25109-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Approaches to Software Testing
Book Subtitle
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Editors
  • Jens Grabowski
  • Brian Nielsen
Series Title
Programming and Software Engineering
Series Volume
3395
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31848-4
DOI
10.1007/b106767
Softcover ISBN
978-3-540-25109-5
Edition Number
1
Number of Pages
X, 228
Topics