Test-case calculation through abstraction

DOI10.1007/3-540-45251-6_33MaRDI QIDQ2764003zbMATH OpenFDO

Authors Bernhard K. Aichernig

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210571

zbMATH Keywords

testing, test-case synthesis, refinement calculus, abstraction rules, scenarios, contract

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Test-design through abstraction: A systematic approach based on the refinement calculus
• Contract-based testing.
• scientific article; zbMATH DE number 2079824
• Complete test graph synthesis for symbolic real-time systems
• Abstraction and testing

Cited in

(3)

• Test-design through abstraction: A systematic approach based on the refinement calculus
• Model-Based Mutation Testing of Reactive Systems
• Contract-based testing.

This page was built for publication: Test-case calculation through abstraction

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