BibSLEIGH — Sarfraz

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: Khurshid:Sarfraz

Facilitated 8 volumes:

ExpertReviewPa

PrBoard

ExpertReviewPa

PrBoard

ExpertReviewPa

PrBoard

PrCo

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2002

2001

2000

2016

2018

2019

2017

2018

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 (AÇ, 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.