Publication year: 2008
ISBN: 978-3-540-79124-9
Internet Resource: Please Login to download book
This book covers the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies.
Subject: Computer Science, Software Engineering, Programming and Operating Systems, System Performance and Evaluation, Software Engineering, Logics and Meanings of Programs, Computer Communication Networks, Computers and Society, Oracle, QoS, automatic testing, constraint logic programming, dynamic logic, formal models, model checking, model-based testing, multithreaded programs, program analysis, program verification, software reli, testing, verification