|
 |
|
 |
 |
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh,...
|
by Wolfgang Grieskamp and Carsten Weise
Sales Rank: 2922664
|
List Price: $58.00
$58.00
At Amazon

|
|
Paperback: 219 pages
Publisher: Springer; 1 edition July 11, 2006
Language: English
ISBN-10: 3540344543
ISBN-13: 978-3540344544
Product Dimensions:
9 x 6.1 x 0.6 inches
Shipping Weight: 12 ounces
Product Description
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
The 13 revised full papers presented together with 1 work-in-progress paper were carefully selected from 38 initial submissions. The papers address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. These techniques are combined with traditional approaches to testing.
|
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh,...
List Price: $58.00
Available from Amazon
Price: $58.00

| |
|
|
|
|