Theoretical Aspects of Computing - ICTAC 2004

DOI10.1007/B107116zbMATH Open1108.68423OpenAlexW2493490011MaRDI QIDQ5709975

Li Dan, Bernhard K. Aichernig

Publication date: 30 November 2005

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

Full work available at URL: https://doi.org/10.1007/b107116

zbMATH Keywords

formal methodtest case generationRAISERSL

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (1)

A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

Recommendations

• Combining test case generation and runtime verification 👍 👎
• Combining Model Checking and Testing 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Theoretical Aspects of Computing - ICTAC 2004