Automatic construction of test sets: Practical approach

DOI10.1007/BFB0019363zbMath1412.68035OpenAlexW1544971441MaRDI QIDQ4560360

Audris Kalnins, Inga Medvedis, Juris Borzovs

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/bfb0019363

zbMATH Keywords

test generationsymbolic executionpath conditionadmissibility ruleground type

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automatic construction of test sets: Theoretical approach

Uses Software

• Find

Cites Work

• Unnamed Item
• Unnamed Item
• Methodology for the Generation of Program Test Data
• Symbolic execution and program testing
• SMOTL—A System to Construct Samples for Data Processing Program Debugging
• Automatic construction of test sets: Theoretical approach
• Proof of a program

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