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

DOI10.1007/S00165-014-0328-5zbMATH Open1338.68164OpenAlexW2023120093MaRDI QIDQ493531FDOQ493531

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

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

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)

Cites Work

• The B-Book
• Title not available (Why is that?)
• Manipulating LTL Formulas Using Spot 1.0
• The complementation problem for Büchi automata with applications to temporal logic
• Title not available (Why is that?)
• A compositional automata-based semantics and preserving transformation rules for testing property patterns

Cited In (1)

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

Uses Software

• SPOT
• LTL2BA

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)