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]
Abstract is missing.