A temporal logic based theory of test coverage and generation

DOI10.1007/3-540-46002-0_23MaRDI QIDQ4472251zbMATH OpenFDO

Authors Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800327.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Using Model Checking to Generate Fault Detecting Tests
• Test-data generation for control coverage by proof
• Probabilistic testing coverage

Cited in

(26)

• TOrPEDO : witnessing model correctness with topological proofs
• Adaptive testing for specification coverage and refinement in CPS models
• Test generation from event system abstractions to cover their states and transitions
• Two-dimensional approximation coverage
• Coverage directed generation of system-level test cases for the validation of a DSP system
• State coverage metrics for specification-based testing with Büchi automata
• A Semantic Framework for Test Coverage
• Symbolic Test Generation Using a Temporal Logic with Constrained Events
• Testing transition systems: An annotated bibliography
• Fault model-driven test derivation from finite state models: Annotated bibliography
• scientific article; zbMATH DE number 1418465 (Why is no real title available?)
• Integrating topological proofs with model checking to instrument iterative design
• Complete model-based equivalence class testing for nondeterministic systems
• Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
• Probabilistic testing coverage
• Using Model Checking to Generate Fault Detecting Tests
• Combining test case generation and runtime verification
• Theoretical Aspects of Computing - ICTAC 2004
• Formal Approaches to Software Testing
• Formal Methods for Components and Objects
• Symbolic observation graph-based generation of test paths
• Concolic testing heap-manipulating programs
• Coverage-based testing with symbolic transition systems
• Test-data generation for control coverage by proof
• Coverage metrics for temporal logic model checking
• Test generation from P systems using model checking

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: A temporal logic based theory of test coverage and generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472251)