1. From daikon to agitator: lessons and challenges in building a commercial tool for developer testing;Boshernitsan,2006
2. IODINE: a tool to automatically infer dynamic invariants for hardware designs;Hangal,2005
3. Automatic requirement extraction from test cases;Ackermann,2010
4. Dynamically discovering likely program invariants to support program evolution;Ernst;IEEE Trans. Softw. Eng.,2001
5. Cyber-Physical Systems: From Theory to Practice;Rawat,2015