Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.

Xianghua Deng, Robby, John Hatcliff

Browse the full SEFM paper archive.