Concepedia

Mukul R. Prasad

MR

Statistics

Publications

29

Citations

2.3K

H-Index

21

Active since

1999

Affiliations

Fujitsu (United States)(Current)

Fujitsu (Japan)

University of California, Berkeley

Georgia Institute of Technology

The University of Texas at Austin

Mukul R. Prasad is an author at Fujitsu (United States) specializing in computer science, computing, and software engineering.

Publications per year

1999–2022

29

Publications

29

A survey of recent advances in SAT-based formal verification

Mukul R. Prasad, Armin Biere, Aarti Gupta · International Journal on Software Tools for Technology Transfer · 2005 · 276 citations

Computing, Computer Engineering, Computer Science +14

Automated testing with targeted event sequence generation

Casper S. Jensen, Mukul R. Prasad, Anders Møller · 2013 · 201 citations

Computing, Computer Science, Software Engineering +14

Elixir: Effective object-oriented program repair

Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida et al. · 2017 · 200 citations · Full text

Computing, Computer Science, Machine Learning +12

Bugs.jar

Ripon K. Saha, Yingjun Lyu, Wing Lam et al. · 2018 · 171 citations

Computing, Computer Science, Operating Systems +13

Automated cross-browser compatibility testing

Ali Mesbah, Mukul R. Prasad · 2011 · 147 citations

Computing, Computer Science, Computer Systems +17

1–5 of 29