![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.
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 book presents 13 revised full papers together with 1 work-in-progress paper. These 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.
|
You may like...
Project Management For Engineering…
John M. Nicholas, Herman Steyn
Paperback
R2,008
Discovery Miles 20 080
Christianity in India - From Beginnings…
Robert Eric Frykenberg
Hardcover
R7,013
Discovery Miles 70 130
The Conversion Experience in America - A…
James Craig Holte
Hardcover
Christianity and the Transformation of…
Huijie Zhang, Fan Hong, …
Hardcover
R1,666
Discovery Miles 16 660
Microbiorobotics - Biologically Inspired…
Minjun Kim, Agung Julius, …
Hardcover
R3,214
Discovery Miles 32 140
Comprehensive Structural Integrity
Ferri M.H. Aliabadi, Winston (Wole) Soboyejo
Hardcover
R99,774
Discovery Miles 997 740
|