Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
| Author/creator | Grabowski, Jens Contribution by |
| Other author | Nielsen, Brian Contribution by |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | X, 225 p. ill 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. Vol. 3395 |
| Summary | Annotation This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Formal Approaches to Software Testing, FATES 2004, held in Linz, Austria in September 2004.The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement; they are organized in topical sections on symbolic test generation, testing non-functional properties, test development with model checking techniques, and test optimization. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2005921470 |
| ISBN | 9783540251095 |
| ISBN | 354025109X (Trade Paper) Active Record |
| Standard identifier# | 9783540251095 |
| Stock number | 354025109X 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |