| J. Perkins and M. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In ACM International Symposium on Foundations of Software Engineering (FSE), Newport Beach, CA, USA, November 2004. |
No context found.
J. Perkins and M. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In ACM International Symposium on Foundations of Software Engineering (FSE), Newport Beach, CA, USA, November 2004.
No context found.
J. Perkins and M. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In ACM International Symposium on Foundations of Software Engineering(SIGSOFT), Newport Beach, CA, USA, October 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC