Incremental symbolic execution for automated test suite maintenance

Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui. Incremental symbolic execution for automated test suite maintenance. In Ivica Crnkovic, Marsha Chechik, Paul Grünbacher, editors, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. pages 271-276, ACM, 2014. [doi]

Abstract

Abstract is missing.