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

Prajish Prasad, Sridhar Iyer. VeriSIM: a learning environment for comprehending class and sequence diagrams using design tracing. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June - 19 July, 2020. pages 23-33, ACM, 2020. [doi]

Abstract

Abstract is missing.