More about: Birkhäuser fluent Springer Gabler Springer Spektrum Springer Vieweg Springer VS T.M.C. A

Manage your Account Change Email or Postal Address Change Password Password Lost? Manage your Alerts Change alert profile Unsubscribe Services & Searches Article Tracking Online Book Review Copies Recent Searches Saved Searches Saved Catalogs Subjects
Choose a discipline: Astronomy Biomedical Sciences Business & Management Chemistry Climate Computer Science Earth Sciences & Geography Economics Education fluent & Language   Energy Engineering Environmental Sciences Food Science & Nutrition Law Life Sciences Materials Mathematics Medicine fluent   Philosophy Physics Popular Science fluent Psychology Public Health Social Sciences Statistics Water Services
More about: Birkhäuser fluent Springer Gabler Springer Spektrum Springer Vieweg Springer VS T.M.C. Asser Press Publishers and Imprints with external Websites Apress BioMed Central Codes Rousseau Etrasa Fuchsbriefe Hubert fluent Ebner Verlag InfoChem Springer Automotive Media Springer Healthcare   Springer Fachmedien München Springer Medizin Springer Media Springer-VDI-Verlag Wendel-Verlag Springer Shop About us
Company Information fluent Compliance History Know your Springer Locations Management fluent What we do Social Engagement Developing Countries Initiatives Social Responsibility Media Press Contacts Press Photos Press Releases Social Media Springer Select Statements Career All Job Vacancies Trainee-Programs / Editorial Trainees Internships Vocational Training
Choose your discipline: Computer Science Artificial Intelligence Bioinformatics Communication Networks Database Management & Information Retrieval General Issues Hardware HCI Image Processing Information Systems and Applications LNCS Media Design Security and Cryptology Software Engineering Theoretical Computer Science Journals Journals
Browse Journals in: Artificial Intelligence Bioinformatics Communication Networks fluent Database Management fluent & Information Retrieval General Issues Hardware HCI Image Processing Information Systems and Applications Security and Cryptology Software Engineering Theoretical Computer fluent Science: Foundations Theoretical Computer Science: Mathematics All journals in Computer Science fluent Books Books
Browse Books in: Artificial Intelligence Bioinformatics fluent Communication Networks Database Management & Information Retrieval General Issues Hardware HCI Image Processing Information Systems fluent and Applications Media Design Security and Cryptology Software Engineering Theoretical Computer Science: Foundations Theoretical Computer Science: Mathematics LNCS Series Textbooks Textbooks
Browse Textbooks in: Artificial Intelligence Bioinformatics Communication Networks Database Management & Information Retrieval General Issues Hardware HCI Image Processing Information Systems and Applications Media Design Security and Cryptology Software Engineering Theoretical Computer Science: Foundations Theoretical Computer Science: Mathematics LNCS (Lecture fluent Notes in Computer Science) Tutorials All Textbooks in Computer Science Reference Works
Available Formats:
Springer fluent eBooks fluent may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, fluent all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
After the purchase you can directly download the eBook file or read it online fluent in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. fluent So you can always re-download your eBooks.  
Standard shipping is free of charge for individual customers.  
The 8 revised full papers presented together with 3 invited papers and the extended abstracts of 2 tutorials were carefully reviewed and selected for inclusion in the book. The papers cover 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.
Keywords » Oracle - QoS - automatic testing - constraint logic programming - dynamic logic - formal models - model checking - model-based testing - multithreaded programs - program analysis - program verification - programming - software reli - testing - verification
Invited Talks.- The First Thirty Years: Experience with Software Verification.- Vacuity in Testing.- What Can Fault Prediction Do for YOU?.- Research Papers.- Equivalence fluent Checking for a Finite Higher Order ?-Calculus.- Finding Counter Examples in Induction Proofs.- A Logic-Based Approach to Combinatorial Testin