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

DOI10.1109/TSE.1979.226498zbMATH Open0393.68019OpenAlexW2012056483WikidataQ111898008 ScholiaQ111898008MaRDI QIDQ4174716FDOQ4174716

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)

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

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)