Mockingbird: A logical methodology for testing

DOI10.1016/0743-1066(90)90053-8MaRDI QIDQ3476303zbMATH OpenOpenAlexFDO

Authors

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90053-8

zbMATH Keywords

constraint logic programmingreversible logic grammarstest data set generationtesting methodology

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Formal languages and automata (68Q45) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 1706341
• Testing can be formal, too
• Automatic Testing from Formal Specifications
• Test specification based on trace description
• FM 2005: Formal Methods

This page was built for publication: Mockingbird: A logical methodology for testing

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