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]

@inproceedings{MakhdoomKS14,
  title = {Incremental symbolic execution for automated test suite maintenance},
  author = {Sarmad Makhdoom and Muhammad Adeel Khan and Junaid Haroon Siddiqui},
  year = {2014},
  doi = {10.1145/2642937.2642961},
  url = {http://doi.acm.org/10.1145/2642937.2642961},
  researchr = {https://researchr.org/publication/MakhdoomKS14},
  cites = {0},
  citedby = {0},
  pages = {271-276},
  booktitle = {ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014},
  editor = {Ivica Crnkovic and Marsha Chechik and Paul Grünbacher},
  publisher = {ACM},
  isbn = {978-1-4503-3013-8},
}