Tests and refutation

DOI10.1007/978-3-319-68167-2_9MaRDI QIDQ5096079zbMATH OpenOpenAlexFDO

Authors Mohammad Torabi Dashti, David Basin

Publication date 12 August 2022

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68167-2_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A Note on an Anomaly in Black-Box Testing
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• scientific article; zbMATH DE number 1418458
• scientific article; zbMATH DE number 1916673
• scientific article; zbMATH DE number 3956420

This page was built for publication: Tests and refutation

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