M
Mukul R. Prasad
Researcher at Fujitsu
Publications - 146
Citations - 3374
Mukul R. Prasad is an academic researcher from Fujitsu. The author has contributed to research in topics: Software & Model checking. The author has an hindex of 24, co-authored 142 publications receiving 2862 citations. Previous affiliations of Mukul R. Prasad include University of California, Berkeley.
Papers
More filters
Book ChapterDOI
A grey-box approach for automated GUI-model generation of mobile applications
Wei Yang,Mukul R. Prasad,Tao Xie +2 more
TL;DR: This work presents a novel grey-box approach for automatically extracting a model of a given mobile app, which can efficiently extract compact yet reasonably comprehensive models of high quality for such apps.
Journal ArticleDOI
A survey of recent advances in SAT-based formal verification
TL;DR: A survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking, focuses on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver.
Proceedings ArticleDOI
Automated testing with targeted event sequence generation
TL;DR: This work proposes a two-phase technique for automatically finding event sequences that reach a given target line in the application code, and shows that this technique can successfully produce event sequence that reach challenging targets.
Proceedings ArticleDOI
ELIXIR: effective object oriented program repair
TL;DR: ELIXIR is able to increase the number of correctly repaired bugs in Defects4J and in Bugs.jar by 85% and significantly out-performing other state-of-the-art repair techniques including ACS, HD-Repair, NOPOL, PAR, and jGenProg.
Proceedings ArticleDOI
Using SAT for combinational equivalence checking
TL;DR: In this article, the authors revisited the application of Satisfiability (SAT) algorithms to the combinational equivalence checking (CEC) problem and argued that SAT is a more robust and flexible engine of Boolean reasoning for the CEC application than BDDs, which have traditionally been the method of choice.