Search results for: Neha Rungta
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Section 2: Regular Papers > 23-37
IEEE Transactions on Human-Machine Systems > 2016 > 46 > 2 > 169 - 173
Studia Logica > 2016 > 104 > 4 > 679-703
Automated Software Engineering > 2013 > 20 > 3 > 391-425
Innovations in Systems and Software Engineering > 2013 > 9 > 4 > 257-269