Formal Approaches to Software Testing - 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

List of contents

Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

Product details

• Assisted by: Wolfgang Grieskamp (Editor), Carsten Weise (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 30.05.2006
• EAN: 9783540344544
• ISBN: 978-3-540-34454-4
• No. of pages: 219
• Weight: 340 g
• Illustrations: XII, 219 p.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Wirtschaftsmathematik und -informatik, IT-Management, Theoretische Informatik, Compiler und Übersetzer, computer science, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Management of Computing and Information Systems, IT Operations, Programming Languages, Compilers, Interpreters, Operating systems, Maintenance & repairs, information architecture, Management information systems, Computer programming / software engineering, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters