Feedback-driven dynamic invariant discovery

Article Details
Title:	Feedback-driven dynamic invariant discovery
Article URLs:	https://doi.org/10.1145/2610384.2610389
Alternative Article URLs:
Authors:	Lingming Zhang	University of Texas
	Guowei Yang	University of Texas
	Neha Rungta	NASA Ames Center
	Suzette Person	NASA Langley Center
	Sarfraz Khurshid	University of Texas
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	0845628, 1319688, 0958231
DBLP Key:	conf/issta/ZhangYRPK14
Author Comments:

ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2014