Towards property oriented testing

DOI10.1016/J.ENTCS.2007.06.001zbMATH Open1279.68215OpenAlexW2067517605MaRDI QIDQ2870321FDOQ2870321

Daniel A. Silva, Alexandre Mota, Patricia D. L. Machado

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.06.001

Recommendations

• Formal Approaches to Software Testing
• Exhaustive property oriented model-based testing with symbolic finite state machines
• On conformance testing of non-deterministic systems
• FM 2005: Formal Methods
• Conformance testing techniques for timed systems

zbMATH Keywords

transition systemsproperty testingtest purpose

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Approaches to Software Testing
• Title not available (Why is that?)
• Formal Approaches to Software Testing
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Approaches to Software Testing

Cited In (4)

• FM 2005: Formal Methods
• Exhaustive property oriented model-based testing with symbolic finite state machines
• Complementary Criteria for Testing Temporal Logic Properties
• Parameterized property testing of functions

Uses Software

• STG
• AGEDIS

This page was built for publication: Towards property oriented testing

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