Shuvendu K. Lahiri

Feedback-Directed Random Test Generation

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 851 citations

Computing, Computer Science, Experimental Design +10

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models

Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri et al. · 2023 · 227 citations

Computing, Computer Engineering, Computer Science +13

Back to the future

Shuvendu K. Lahiri, Shaz Qadeer · 2008 · 143 citations

Engineering, Computer Engineering, Computer Science +17

Differential assertion checking

Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma et al. · 2013 · 116 citations

Computing, Computer Engineering, Computer Science +14

Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets

Mike Barnett, Christian Bird, João Brunet et al. · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 97 citations

Computing, Computer Science, Quality Assurance +9