Towards MC/DC coverage of properties specification patterns

DOI10.1007/978-3-319-46750-4_10zbMATH Open1482.68137OpenAlexW2522127996MaRDI QIDQ3179399FDOQ3179399

Authors: Ana C. V. de Melo, Simone Hanazumi, Corina S. Păsăreanu 

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-46750-4_10

Recommendations

• MC/DC test cases generation based on BDDs
• State coverage metrics for specification-based testing with Büchi automata
• Specification for Testing
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• scientific article; zbMATH DE number 1796124

Mathematics Subject Classification ID

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

Cites Work

• Introduction to Software Testing
• State coverage metrics for specification-based testing with Büchi automata

Cited In (1)

• From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

This page was built for publication: Towards MC/DC coverage of properties specification patterns

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