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

DOI10.1109/TSE.1979.226498zbMath0393.68019OpenAlexW2012056483WikidataQ111898008 ScholiaQ111898008MaRDI QIDQ4174716

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

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)

Related Items (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