Incremental symbolic execution for automated test suite maintenance. - Sarmad Makhdoom; Muhammad Adeel Khan; Junaid Haroon Siddiqui (ASE, 2014)