Synthesizing adaptive test strategies from temporal logic specifications

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

zbMATH Keywords

synthesisreactive systemsspecification testingadaptive testsmutation testingsystem testingautomatic test-case generation

Mathematics Subject Classification ID

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

Related Items (2)

Synthesizing adaptive test strategies from temporal logic specifications ⋮ Adaptive testing for specification coverage and refinement in CPS models

Uses Software

• CESAR

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