Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs.

Yogesh Murarka, Umesh Bellur

Browse the full APSEC paper archive.