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

DOI10.1023/A:1008711707946MaRDI QIDQ5935934zbMATH OpenOpenAlexFDO

Authors Martin S. Feather, Ben Smith

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

analysisautonomous systemsNASAplanningtest oraclestestingverification and validation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1848377
• Using a neural network in the software testing process
• Automation of broad sanity test generation
• Combining test case generation and runtime verification
• scientific article; zbMATH DE number 1951185

Cited in

(2)

• Using a neural network in the software testing process
• scientific article; zbMATH DE number 1848377 (Why is no real title available?)

This page was built for publication: Automatic generation of test oracles -- from pilot studies to application

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