Test generation from event system abstractions to cover their states and transitions

DOI10.1134/S0361768818010085zbMath1455.68104OpenAlexW2790375072MaRDI QIDQ2216864

G. Voiron, Jacques Julliand, Pierre-Alain Masson, Olga Kouchnarenko

Publication date: 17 December 2020

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768818010085

zbMATH Keywords

predicate abstractionunderapproximationevent systemsmodel-based testing from abstraction

Mathematics Subject Classification ID

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

Uses Software

• CUTE
• z3
• DART
• Pex
• STP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-based testing of reactive systems. Advanced lectures.
• Association of Under-Approximation Techniques for Generating Tests from Models
• Counterexample-guided abstraction refinement for symbolic model checking
• Guarded commands, nondeterminacy and formal derivation of programs
• The B-Book
• Abstract Interpretation Frameworks
• Predicate Abstraction with Under-approximation Refinement
• Sequential abstract-state machines capture sequential algorithms
• Formal Methods for Components and Objects

This page was built for publication: Test generation from event system abstractions to cover their states and transitions