Visit our Christmas Gift Finder
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 - Lecture Notes in Computer Science 2931 (Paperback)
  • Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 - Lecture Notes in Computer Science 2931 (Paperback)
zoom

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 - Lecture Notes in Computer Science 2931 (Paperback)

(editor)
£62.99
Paperback 268 Pages / Published: 28/01/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540208945
Number of pages: 268
Weight: 880 g
Dimensions: 233 x 155 x 14 mm
Edition: 2004 ed.

You may also be interested in...

Implementing Domain-Driven Design
Added to basket
The Art of Unit Testing
Added to basket
Agile Software Development
Added to basket
Git Pocket Guide
Added to basket
The Mythical Man-Month
Added to basket
Designing Data-Intensive Applications
Added to basket
Agile Product Management with Scrum
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Design Patterns
Added to basket
£44.49
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Crystal Clear
Added to basket
£29.99
Paperback
User Stories Applied
Added to basket
£40.49
Paperback
Coaching Agile Teams
Added to basket
Impact Mapping
Added to basket
£9.99
Paperback
Peopleware
Added to basket
£33.49
Paperback

Please sign in to write a review

Your review has been submitted successfully.