Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman. Automated generation of state abstraction functions using data invariant inference. In 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013. pages 75-81, IEEE, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.