A compositional automata-based semantics and preserving transformation rules for testing property patterns

DOI10.1007/S00165-014-0328-5MaRDI QIDQ493531zbMATH OpenOpenAlexFDO

Authors Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso

Publication date 3 September 2015

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-014-0328-5

zbMATH Keywords

formal methodstemporal logicstemporal propertiescompositional automata semanticsproperty patternstesting transformation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• State coverage metrics for specification-based testing with Büchi automata
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2013784
• Towards MC/DC coverage of properties specification patterns
• Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement

Cites work

• scientific article; zbMATH DE number 5604077 (Why is no real title available?)
• scientific article; zbMATH DE number 1796123 (Why is no real title available?)
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• Manipulating LTL Formulas Using Spot 1.0
• The B-Book
• The complementation problem for Büchi automata with applications to temporal logic

Cited in

(3)

• Towards MC/DC coverage of properties specification patterns
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• Lattice-based semantics for combinatorial model evolution

Describes a project that uses

Uses Software

• LTL2BA
• SPOT

This page was built for publication: A compositional automata-based semantics and preserving transformation rules for testing property patterns

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