SMOTL—A System to Construct Samples for Data Processing Program Debugging

DOI10.1109/TSE.1979.226498MaRDI QIDQ4174716zbMATH OpenOpenAlexWikidataFDO

Authors Janis Bicevskis, Juris Borzovs, Uldis Straujums, Andris Zarins, Edward F. Jun. Miller

Publication date 1979

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1979.226498

zbMATH Keywords

Program DebugGingProgram Tests

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(3)

• Program testing: Specification languages and automatic test generation
• Automatic construction of test sets: Practical approach
• Automatic construction of test sets: theoretical approach

This page was built for publication: SMOTL—A System to Construct Samples for Data Processing Program Debugging

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