Publications

  • Sean Bartell, Swarup Kumar Sahoo,  Vikram S. Adve, Tao Xie, “Flexible Solution-Aware Symbolic Execution”, Submitted for possible publication in the Proceedings of the International Conference on Software Engineering (ICSE), 2016.

Automated Software Debugging