Expressing and checking intended changes via software change contracts.

Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury

Browse the full ISSTA paper archive.