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

admissibility ruleground typepath conditionsymbolic executiontest generation

Mathematics Subject Classification ID

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

Cites work

• Automatic construction of test sets: theoretical approach
• scientific article; zbMATH DE number 3511571 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• 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)

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

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)