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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Grieskamp, Wolfgang (Editor ), Weise, Carsten (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 3997
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares