Synthesizing adaptive test strategies from temporal logic specifications
From MaRDI portal
Publication:2280227
DOI10.1007/S10703-019-00338-9zbMath1427.68160arXiv1809.01607OpenAlexW3013816513WikidataQ92186791 ScholiaQ92186791MaRDI QIDQ2280227
Fabian Greif, Franz Röck, Heinz Riener, Goerschwin Fey, Robert Könighofer, Ingo Pill, Roderick Bloem
Publication date: 18 December 2019
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.01607
synthesisreactive systemsspecification testingadaptive testsmutation testingsystem testingautomatic test-case generation
Related Items (2)
Synthesizing adaptive test strategies from temporal logic specifications ⋮ Adaptive testing for specification coverage and refinement in CPS models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Symbolic bounded synthesis
- Applying adaptive test cases to nondeterministic implementations
- Borel determinacy
- Synthesizing adaptive test strategies from temporal logic specifications
- An Asymptotically Correct Finite Path Semantics for LTL
- Towards Efficient Parameterized Synthesis
- Graph Games and Reactive Synthesis
- Admissible Strategies in Infinite Games over Graphs
- Play to Test
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Automata, Languages and Programming
- Computer Aided Verification
- Efficient detection of vacuity in temporal model checking
This page was built for publication: Synthesizing adaptive test strategies from temporal logic specifications