Automatic construction of test sets: Theoretical approach

DOI10.1007/BFb0019362zbMath1412.68034OpenAlexW52554018MaRDI QIDQ4560358

Janis Bicevskis, Andrejs Auziņš, Kārlis Čerāns, Audris Kalnins, Ja. M. Barzdin'

Publication date: 11 December 2018

Published in: Baltic Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

internal variablereachability graphinequality systeminitial pathinput tape

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Automatic construction of test sets: Practical approach ⋮ Deciding properties of integral relational automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Program Testing Complexity and Test Criteria
• SMOTL—A System to Construct Samples for Data Processing Program Debugging
• Automatic construction of test sets: Practical approach

This page was built for publication: Automatic construction of test sets: Theoretical approach