Mukul R. Prasad

According to our database1, Mukul R. Prasad authored at least 44 papers between 1996 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Recommending stack overflow posts for fixing runtime exceptions using failure scenario matching.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Fuzz testing based data augmentation to improve robustness of deep neural networks.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Phoenix: automated data-driven synthesis of repairs for static analysis violations.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Harnessing evolution for multi-hunk program repair.
Proceedings of the 41st International Conference on Software Engineering, 2019

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.
Proceedings of the 27th IEEE International Conference on Network Protocols, 2019

2018
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Accelerating Search-Based Program Repair.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Elixir: an automated repair tool for Java programs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

EnMobile: entity-based characterization and analysis of mobile malware.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Delta-net: Real-time Network Verification Using Atoms.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

ELIXIR: effective object oriented program repair.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Anti-patterns in search-based program repair.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

FSX: fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015
Generating Succinct Test Cases Using Don't Care Analysis.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
X-PERT: a web application testing tool for cross-browser inconsistency detection.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Cross-platform feature matching for web applications.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Automated testing with targeted event sequence generation.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

X-PERT: accurate identification of cross-browser issues in web applications.
Proceedings of the 35th International Conference on Software Engineering, 2013

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Automated System Testing of Dynamic Web Applications.
Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Client-tier Validation of Dynamic Web Applications.
Proceedings of the ICSOFT 2011, 2011

Automated cross-browser compatibility testing.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2009
WEAVE: WEb Applications Validation Environment.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Verification Techniques for System-Level Design.
The Morgan Kaufmann series in systems on silicon, Morgan Kaufmann, ISBN: 978-0-12-370616-4, 2008

2006
A Technique for Estimating the Difficulty of a Formal Verification Problem.
Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

2005
A survey of recent advances in SAT-based formal verification.
Int. J. Softw. Tools Technol. Transf., 2005

Dynamic abstraction using SAT-based BMC.
Proceedings of the 42nd Design Automation Conference, 2005

Interleaved Invariant Checking with Dynamic Abstraction.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

Error Detection Using BMC in a Parallel Environment.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Can SAT be used to Improve Sequential ATPG Methods?
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

High Level Design Validation: Current Practices and Future Directions.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Incremental deductive & inductive reasoning for SAT-based bounded model checking.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

2003
Solving the latch mapping problem in an industrial setting.
Proceedings of the 40th Design Automation Conference, 2003

2002
Improving Sequential ATPG Using SAT Methods.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Using Problem Symmetry in Search Based Satisfiability Algorithms.
Proceedings of the 2002 Design, 2002

2001
Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?
J. Electron. Test., 2001

Using SAT for combinational equivalence checking.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1999
Why is ATPG Easy?
Proceedings of the 36th Conference on Design Automation, 1999

1997
A new voting based hardware data prefetch scheme.
Proceedings of the Fourth International on High-Performance Computing, 1997

1996
Estimation of Power from Module-level Netlists.
Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996


  Loading...