Travelled to:1 × Austria
1 × Canada
1 × France
1 × Germany
1 × Italy
1 × Switzerland
7 × USA
Collaborated with:S.R.Choudhary A.Orso H.Yoshida E.I.Goldberg R.K.Brayton A.Mesbah I.Ghosh R.N.Zaeem S.Khurshid W.Yang T.Xie C.S.Jensen A.Møller P.Chong K.Keutzer R.Bavishi L.Zhang M.S.Hsiao T.Sidle K.Ng R.Mukherjee J.Jain S.H.Tan A.Roychoudhury R.K.Saha Y.Lyu C.Nguyen K.Sen S.Tokumoto T.Uehara
Talks about:cross (6) test (6) generat (5) applic (5) autom (5) browser (4) web (4) use (4) program (3) repair (3)
Person: Mukul R. Prasad
DBLP: Prasad:Mukul_R=
Contributed to:
20152014
2014
2013
2013201320122011
20052003
200220011999
2016
2017
2019Wrote 18 papers:
- ICST-2015-0001YPGS #analysis #generative #testing #using
- Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
- ICST-2014-ZaeemPK #automation #generative #mobile #testing
- Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
- ISSTA-2014-ChoudharyPO #platform #web
- Cross-platform feature matching for web applications (SRC, MRP, AO), pp. 82–92.
- ISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #testing #web
- X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
- FASE-2013-YangPX #approach #automation #generative #mobile
- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
- ICSE-2013-ChoudharyPO #identification #named #web
- X-PERT: accurate identification of cross-browser issues in web applications (SRC, MRP, AO), pp. 702–711.
- ISSTA-2013-JensenPM #automation #generative #sequence #testing
- Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
- ICST-2012-ChoudharyPO #crawling #detection #difference #named #web
- CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications (SRC, MRP, AO), pp. 171–180.
- ICSE-2011-MesbahP #automation #testing
- Automated cross-browser compatibility testing (AM, MRP), pp. 561–570.
- DAC-2005-ZhangPHS #abstraction #satisfiability #using
- Dynamic abstraction using SAT-based BMC (LZ, MRP, MSH, TS), pp. 754–757.
- DAC-2003-NgPMJ #industrial #problem
- Solving the latch mapping problem in an industrial setting (KN, MRP, RM, JJ), pp. 442–447.
- DATE-2002-GoldbergPB #algorithm #problem #satisfiability #symmetry #using
- Using Problem Symmetry in Search Based Satisfiability Algorithms (EIG, MRP, RKB), pp. 134–141.
- DATE-2001-GoldbergPB #equivalence #satisfiability #using
- Using SAT for combinational equivalence checking (EIG, MRP, RKB), pp. 114–121.
- DAC-1999-PrasadCK #question #why
- Why is ATPG Easy? (MRP, PC, KK), pp. 22–28.
- FSE-2016-TanYPR #program repair #search-based
- Anti-patterns in search-based program repair (SHT, HY, MRP, AR), pp. 727–738.
- FSE-2016-YoshidaTPGU #c #c++ #fine-grained #generative #incremental #named #source code #testing
- FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
- ASE-2017-SahaLYP #effectiveness #named #object-oriented #program repair
- ELIXIR: effective object oriented program repair (RKS, YL, HY, MRP), pp. 648–659.
- ESEC-FSE-2019-BavishiYP #automation #data-driven #named #static analysis #synthesis
- Phoenix: automated data-driven synthesis of repairs for static analysis violations (RB, HY, MRP), pp. 613–624.