A Temporal Logic Based Theory of Test Coverage and Generation
Abstract elided by the publisher.
Related papers
- Coverage Metrics for Temporal Logic Model Checking TACAS 2001
- Temporal NetKAT PLDI 2016
- SolTG: A CHC-Based Solidity Test Case Generator CAV 2024
- Effective floating-point analysis via weak-distance minimization PLDI 2019
- Validating Soundness and Completeness in Pattern-Match Coverage Analyzers OOPSLA 2025
- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains TACAS 2024
- From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages SLE 2022
- Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations PLDI 2023