Property Learning Techniques for Efficient Generation of Directed Tests

DOI10.1109/TC.2011.49MaRDI QIDQ5280573zbMATH OpenOpenAlexFDO

Authors Mingsong Chen, Prabhat K. Mishra

Publication date 27 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2011.49

Mathematics Subject Classification ID

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

This page was built for publication: Property Learning Techniques for Efficient Generation of Directed Tests

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