Automatic generation of test oracles -- from pilot studies to application

DOI10.1023/A:1008711707946zbMath0963.68557MaRDI QIDQ5935934

Ben Smith, Martin S. Feather

Publication date: 1 July 2001

Published in: Automated Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008711707946

zbMATH Keywords

testing; analysis; autonomous systems; NASA; planning; test oracles; verification and validation

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence