Under-approximation generation driven by relevance predicates and variants

DOI10.1007/978-3-319-92994-1_4MaRDI QIDQ6039391zbMATH OpenOpenAlexFDO

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

Publication date 5 May 2023

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-92994-1_4

zbMATH Keywords

loop variantpredicate abstractionrelevance predicateunder-approximation generation

Mathematics Subject Classification ID

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

Recommendations

• Test generation from event system abstractions to cover their states and transitions
• Association of under-approximation techniques for generating tests from models
• Predicate Abstraction with Under-approximation Refinement
• Approximating event system abstractions by covering their states and transitions
• Formal Methods for Components and Objects

Cited in

(3)

• Test generation from event system abstractions to cover their states and transitions
• Association of under-approximation techniques for generating tests from models
• Approximating event system abstractions by covering their states and transitions

This page was built for publication: Under-approximation generation driven by relevance predicates and variants

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