41 citations · 41 across the 1 of their papers we have counts for
2 papers
cs.SE2019
Harnessing Evolution for Multi-Hunk Program Repair
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
Despite significant advances in automatic program repair (APR)techniques over the past decade, practical deployment remains an elusive goal. One of the important challenges in this…
cs.NI2017★ 41 cited
Delta-net: Real-time Network Verification Using Atoms
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Real-time network verification promises to automatically detect violations of network-wide reachability invariants on the data plane. To be useful in practice, these violations nee…