RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. - Saeed Jalili; Mehdi MirzaAghaei (SERA, 2007)

RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach. - Saeed Jalili; Mehdi MirzaAghaei (Software Engineering Research and Practice, 2007)

Automatically repairing test cases for evolving method declarations. - Mehdi MirzaAghaei; Fabrizio Pastore; Mauro Pezzè (ICSM, 2010)

Automatic test suite evolution. - Mehdi MirzaAghaei (SIGSOFT FSE, 2011)

Supporting Test Suite Evolution through Test Case Adaptation. - Mehdi MirzaAghaei; Fabrizio Pastore; Mauro Pezzè (ICST, 2012)

DOM-based test adequacy criteria for web applications. - Mehdi MirzaAghaei; Ali Mesbah 001 (ISSTA, 2014)

Leveraging existing tests in automated test generation for web applications. - Amin Milani Fard; Mehdi MirzaAghaei; Ali Mesbah 001 (ASE, 2014)

Works for me! characterizing non-reproducible bug reports. - Mona Erfani Joorabchi; Mehdi MirzaAghaei; Ali Mesbah 001 (MSR, 2014)

Automatic test case evolution. - Mehdi MirzaAghaei; Fabrizio Pastore; Mauro Pezzè (Softw. Test. Verification Reliab., 2014)