Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Mingsong Chen, Prabhat Mishra. Property Learning Techniques for Efficient Generation of Directed Tests. IEEE Transactions on Computers, 60(6):852-864, 2011. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Functional Test Generation Using Efficient Property Clustering and Learning TechniquesMingsong Chen, Prabhat Mishra. tcad, 29(3):396-404, 2010. [doi] Learning-oriented Property Decomposition for Automated Generation of Directed TestsMingsong Chen, Xiaoke Qin, Prabhat Mishra. et, 30(3):287-306, 2014. [doi]
The following publications are possibly variants of this publication: