BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Prasad:Mukul_R=

Contributed to:

ICST 20152015
ICST 20142014
ISSTA 20142014
FASE 20132013
ICSE 20132013
ISSTA 20132013
ICST 20122012
ICSE 20112011
DAC 20052005
DAC 20032003
DATE 20022002
DATE 20012001
DAC 19991999
FSE 20162016
ASE 20172017
ESEC/FSE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.