Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

Formal Approaches to Software Testing

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

Editors: Ulrich, Andreas (Ed.)

Free Preview

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-24617-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-20894-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

Table of contents (18 chapters)

Table of contents (18 chapters)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-24617-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-20894-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Approaches to Software Testing
Book Subtitle
Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
Editors
  • Andreas Ulrich
Series Title
Lecture Notes in Computer Science
Series Volume
2931
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24617-6
DOI
10.1007/b95400
Softcover ISBN
978-3-540-20894-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 268
Topics