Automatic construction of test sets: Practical approach

DOI10.1007/BFB0019363MaRDI QIDQ4560360zbMATH OpenOpenAlexFDO

Authors Juris Borzovs, Audris Kalnins, Inga Medvedis

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)

Cites work

• scientific article; zbMATH DE number 3511571 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• Automatic construction of test sets: theoretical approach
• Methodology for the Generation of Program Test Data
• Proof of a program
• SMOTL—A System to Construct Samples for Data Processing Program Debugging
• Symbolic execution and program testing

Cited in

(3)

• Autocontours: Dynamic Specification Testing
• Application of robust optimization to automated test assembly
• Automatic construction of test sets: theoretical approach

Describes a project that uses

Uses Software

• Find

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

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