Aiding Developer Understanding of Software Changes via Symbolic Execution-based Semantic Differencing.

Johann Glock

Browse the full ICSE paper archive.