.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Approaches to Software Testing and Runtime Verification
. Ed(S): Havelund, Klaus; Nunez, Manuel; Rosu, Grigore; Wolff, Burkhart
€ 66.95
FREE Delivery in Ireland
Description for Formal Approaches to Software Testing and Runtime Verification
Paperback. Constitutes the refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Editor(s): Havelund, Klaus; Nunez, Manuel; Rosu, Grigore; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 263 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc. The FATES/RV 2006 workshop selected 14 ... Read more
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc. The FATES/RV 2006 workshop selected 14 ... Read more
Product Details
Format
Paperback
Publication date
2006
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
263
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
255
Place of Publication
Berlin, Germany
ISBN
9783540496991
SKU
V9783540496991
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Approaches to Software Testing and Runtime Verification