VeriSIM: a learning environment for comprehending class and sequence diagrams using design tracing.

Prajish Prasad, Sridhar Iyer

Browse the full ICSE paper archive.