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 × Croatia
1 × Denmark
1 × Estonia
1 × Finland
1 × India
1 × New Zealand
1 × Poland
1 × Russia
1 × Slovenia
1 × South Africa
1 × Switzerland
2 × Belgium
2 × Portugal
2 × The Netherlands
2 × United Kingdom
20 × USA
3 × Canada
3 × France
5 × Germany
7 × Italy
Collaborated with:
D.Marinov L.Zhang D.E.Perry J.H.Siddiqui B.Elkarablieh G.Yang M.Z.Malik S.A.Khalek R.N.Zaeem E.Uzuncaova C.S.Pasareanu R.K.Saha D.Gopinath M.Gligoric D.Jackson M.Kim D.Shao D.S.Batory K.Wang Y.L.Suen S.Person N.Rungta F.A.Zaraket A.Aziz P.Godefroid L.Zhang A.Pervaiz A.Sullivan T.Gvero J.Lawall K.S.McKinley M.d'Amorim C.H.P.Kim W.Visser S.Misailovic A.Milicevic M.Zhang S.Lauterburg N.Rosner N.Aguirre M.F.Frias M.R.Prasad S.R.Ganov V.P.Narayanan Y.Zayour C.Boyapati H.Zhong S.Souto R.Qiu D.Saha S.Chandra M.Lease Y.Y.Lee S.Harwell K.Ghori Y.O.Laleye I.Garcia D.Garcia R.M.Podorozhny X.Zhang D.Vu I.Shlyakhter J.Hua A.Çelik S.Pai N.Petrovic X.Li D.Shannon J.Walker S.Bugrara L.Zhang M.C.Rinard Y.Zhang C.L.0005 V.Jagannath V.Kuncak P.Nie R.Rai J.J.Li R.J.Mooney J.C.0003 W.Hu D.Hao L.Z.0023 V.S.Bengolea P.Ponzio P.Barros C.Cadar K.Sen N.Tillmann
Talks about:
test (30) use (20) generat (17) structur (15) program (13) execut (13) base (13) repair (12) analysi (11) data (11)

♂ Person: Sarfraz Khurshid

DBLP DBLP: Khurshid:Sarfraz

Facilitated 8 volumes:

ASE 2014ExpertReviewPa
ASE 2014PrBoard
ASE 2013ExpertReviewPa
ASE 2013PrBoard
ASE 2012ExpertReviewPa
ASE 2012PrBoard
ASE 2011PrCo
ASE 2016Ed

Contributed to:

ICSE 20152015
MSR 20152015
SPLC 20152015
CSMR-WCRE 20142014
ICSE 20142014
ICSME 20142014
ICST 20142014
ISSTA 20142014
OOPSLA 20142014
ASE 20132013
ESEC/FSE 20132013
ICSE 20132013
ISSTA 20132013
OOPSLA 20132013
ASE 20122012
FM 20122012
FSE 20122012
ICST 20122012
ISSTA 20122012
OOPSLA 20122012
SAC 20122012
TACAS 20122012
ASE 20112011
ICSE 20112011
ICSM 20112011
ICST 20112011
PLDI 20112011
TACAS 20112011
ASE 20102010
ECOOP 20102010
ICSE 20102010
ASE 20092009
ESEC/FSE 20092009
FM 20092009
ICST 20092009
ASE 20082008
FM 20082008
ICSE 20082008
ISSTA 20082008
ASE 20072007
ECOOP 20072007
ESEC/FSE 20072007
ICSE 20072007
ICSM 20072007
IFM 20072007
OOPSLA 20072007
TACAS 20072007
LDTA 20062006
PASTE 20052005
SAT 20052005
SAT 20032003
TACAS 20032003
FME 20022002
ISSTA 20022002
OOPSLA 20022002
TACAS 20022002
ASE 20012001
TACAS 20012001
ASE 20002000
FSE 20162016
ASE 20182018
ESEC/FSE 20182018
ESEC/FSE 20192019
OOPSLA 20172017
ECOOP 20182018

Wrote 87 papers:

ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation
Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSE-v1-2015-SahaZKP #approach #information retrieval #testing
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes (RKS, LZ, SK, DEP), pp. 268–279.
MSR-2015-SahaLKP #debugging #question
Are These Bugs Really “Normal”? (RKS, JL, SK, DEP), pp. 258–268.
SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line
Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
CSMR-WCRE-2014-SahaKP #debugging #empirical
An empirical study of long lived bugs (RKS, SK, DEP), pp. 144–153.
ICSE-2014-GopinathKSC #data-driven
Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.
ICSE-2014-YangKPR #difference #incremental
Property differencing for incremental checking (GY, SK, SP, NR), pp. 1059–1070.
ICSME-2014-SahaLKP #c #debugging #effectiveness #information retrieval #locality #on the #source code
On the Effectiveness of Information Retrieval Based Bug Localization for C Programs (RKS, JL, SK, DEP), pp. 161–170.
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-ZhangYRPK #invariant
Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
ASE-2013-RosnerSAKF #alloy #analysis #clustering #modelling #named #parallel
Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
ASE-2013-SahaLKP #debugging #information retrieval #locality #using
Improving bug localization using structured information retrieval (RKS, ML, SK, DEP), pp. 345–355.
ASE-2013-ZhangGMK #random
Operator-based and random mutant selection: Better together (LZ, MG, DM, SK), pp. 92–102.
ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ICSE-2013-LeeHKM #code completion #navigation
Temporal code completion and navigation (YYL, SH, SK, DM), pp. 1181–1184.
ICSE-2013-YangKP #execution #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
ISSTA-2013-ZhangMK #mutation testing #performance #reduction #testing
Faster mutation testing inspired by test prioritization and reduction (LZ, DM, SK), pp. 235–245.
OOPSLA-2013-Zhang0K #developer #evolution #fault #injection #locality
Injecting mechanical faults to localize developer faults for evolving software (LZ, LZ, SK), pp. 765–784.
ASE-2012-GopinathZK #effectiveness #fault #locality #specification #using
Improving the effectiveness of spectra-based fault localization using specifications (DG, RNZ, SK), pp. 40–49.
FM-2012-YangKK #formal method #lightweight #using
Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
FSE-2012-ZaeemK #generative #programming #using
Test input generation using dynamic programming (RNZ, SK), p. 34.
FSE-2012-ZhangKK #evolution #fault #impact analysis #java #named #source code
FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.
ICST-2012-MalikK #analysis #graph #using
Dynamic Shape Analysis Using Spectral Graph Properties (MZM, SK), pp. 211–220.
ICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ISSTA-2012-YangPK #execution #symbolic computation
Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
ISSTA-2012-ZhangMZK #mutation testing #testing
Regression mutation testing (LZ, DM, LZ, SK), pp. 331–341.
OOPSLA-2012-SiddiquiK #analysis #execution #scalability #symbolic computation #using
Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.
SAC-2012-SiddiquiK #execution #staged #symbolic computation
Staged symbolic execution (JHS, SK), pp. 1339–1346.
TACAS-2012-ZaeemGKM #data type #satisfiability #using
History-Aware Data Structure Repair Using SAT (RNZ, DG, SK, KSM), pp. 2–17.
ASE-2011-GanovKP #alloy #analysis #incremental #performance
A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.
ASE-2011-KhalekNK #constraints #generative
Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using
TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
ICSM-2011-ZhangKK
Localizing failure-inducing program edits based on spectrum information (LZ, MK, SK), pp. 23–32.
ICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using
Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.
ICST-2011-MalikSK #constraints #data type #debugging #using
Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.
PLDI-2011-PersonYRK #execution #incremental #symbolic computation
Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
TACAS-2011-GopinathMK #program repair #satisfiability #using
Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.
ASE-2010-KhalekK #automation #database #generative #query #sql #testing
Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
ASE-2010-KimBK #product line
Eliminating products to test in a software product line (CHPK, DSB, SK), pp. 139–142.
ECOOP-2010-ZaeemK #alloy #contract #data type #using
Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
ICSE-2010-GligoricGJKKM #generative #programming #testing
Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
ASE-2009-MalikGEK #automation #data type #debugging #using
A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.
ASE-2009-SiddiquiMK #constraints #optimisation #performance #theorem proving
Optimizing a Structural Constraint Solver for Efficient Software Checking (JHS, DM, SK), pp. 615–619.
ESEC-FSE-2009-ShaoKP #named #parallel #semantics
SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
ICST-2009-GligoricGLMK #generative #graph #java #optimisation
Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICST-2009-SiddiquiK #generative #named #parallel #testing
PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
ASE-2008-KhalekELK #constraints #generative #relational #testing #theorem proving #using
Query-Aware Test Generation Using a Relational Constraint Solver (SAK, BE, YOL, SK), pp. 238–247.
FM-2008-UzuncaovaK #analysis #constraints #declarative #modelling #performance
Constraint Prioritization for Efficient Analysis of Declarative Models (EU, SK), pp. 310–325.
ICSE-2008-ElkarabliehK #data type #named
Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.
ICSE-2008-GveroGL #java
State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
ICSE-2008-MalikPUK #generative #invariant #named #representation
Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
ISSTA-2008-ElkarabliehMK #constraints #performance
Efficient solving of structural constraints (BE, DM, SK), pp. 39–50.
ASE-2007-ElkarabliehGSK #data type
Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.
ASE-2007-ZaraketAK #program analysis
Sequential circuits for program analysis (FAZ, AA, SK), pp. 114–123.
ECOOP-2007-ElkarabliehZK #generative
Efficiently Generating Structurally Complex Inputs with Thousands of Objects (BE, YZ, SK), pp. 248–272.
ESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing
Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.
ESEC-FSE-2007-UzuncaovaGKB #approach #product line #testing
A specification-based approach to testing software product lines (EU, DG, SK, DSB), pp. 525–528.
ICSE-2007-MilicevicMMK #generative #named #testing
Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.
ICSE-2007-UzuncaovaK #declarative #named #slicing #specification
Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.
ICSE-2007-ZaraketAK #analysis #relational
Sequential Circuits for Relational Analysis (FAZ, AA, SK), pp. 13–22.
ICSM-2007-ShaoKP #detection #empirical #evaluation #parallel #semantics
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.
IFM-2007-PodorozhnyKPZ #alloy #multi #using #verification
Verification of Multi-agent Negotiations Using the Alloy Analyzer (RMP, SK, DEP, XZ), pp. 501–517.
OOPSLA-2007-ElkarabliehKVM #named #performance #static analysis
Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.
TACAS-2007-MalikPK #generative #invariant #representation
Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.
LDTA-2006-LiSWKM #modelling
Analyzing the Uses of a Software Modeling Tool (XL, DS, JW, SK, DM), pp. 3–18.
PASTE-2005-KhurshidS #execution #library #symbolic computation
Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation
Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
SAT-2003-KhurshidMSJ #performance
A Case for Efficient Solution Enumeration (SK, DM, IS, DJ), pp. 272–286.
TACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing
Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
FME-2002-MarinovK #named #relational
VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.
ISSTA-2002-BoyapatiKM #automation #java #named #testing
Korat: automated testing based on Java predicates (CB, SK, DM), pp. 123–133.
OOPSLA-2002-KhurshidMJ
An analyzable annotation language (SK, DM, DJ), pp. 231–245.
TACAS-2002-GodefroidK #algorithm #scalability #search-based #using
Exploring Very Large State Spaces Using Genetic Algorithms (PG, SK), pp. 266–280.
ASE-2001-MarinovK #automation #framework #java #named #novel #source code #testing
TestEra: A Novel Framework for Automated Testing of Java Programs (DM, SK), p. 22–?.
TACAS-2001-Khurshid #algorithm #search-based #testing #using
Testing an Intentional Naming Scheme Using Genetic Algorithms (SK), pp. 358–372.
ASE-2000-KhurshidJ #automation #constraints #design
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.
FSE-2016-ZhongZK #combinator #generative #testing
Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
ASE-2018-WangSK #alloy #automation
Automated model repair for Alloy (KW, AS, SK), pp. 577–588.
ASE-2018-ZhangZZ0K #framework #named #testing #validation
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems (MZ, YZ, LZ, CL0, SK), pp. 132–142.
ESEC-FSE-2018-HuaZWK #approach #automation #generative #lazy evaluation #named #program repair #sketching #using
SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.
ESEC-FSE-2018-WangSMK #alloy #framework #named #sketching
ASketch: a sketching framework for Alloy (KW, AS, DM, SK), pp. 916–919.
ESEC-FSE-2019-NieRLKMG #execution #framework
A framework for writing trigger-action todo comments in executable format (PN, RR, JJL, SK, RJM, MG), pp. 385–396.
OOPSLA-2017-CelikPKG #bound #generative
Bounded exhaustive test-input generation on GPUs (, SP, SK, MG), p. 25.
ECOOP-2018-ChenHZHK0 #execution #learning #program transformation #symbolic computation
Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.

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.