Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.

Xianghua Deng, Robby, John Hatcliff

Browse the full ISoLA paper archive.