☰

Sarfraz Khurshid - Publications

Affiliations: 
Computer Engineering University of Texas at Austin, Austin, Texas, U.S.A. 
Area:
Electronics and Electrical Engineering, Computer Science
Tree Info Similar researchers PubMed Report error

71 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Vasić M, Soloveichik D, Khurshid S. CRN++: Molecular programming language Natural Computing. 19: 391-407. DOI: 10.1007/S11047-019-09775-1  0.362
2020 Usman M, Wang W, Wang K, Yelen C, Dini N, Khurshid S. A study of learning likely data structure properties using machine learning models International Journal On Software Tools For Technology Transfer. 1-15. DOI: 10.1007/S10009-020-00577-W  0.36
2019 Wang K, Converse H, Gligoric M, Misailovic S, Khurshid S. A Progress Bar for the JPF Search Using Program Executions Acm Sigsoft Software Engineering Notes. 43: 55-55. DOI: 10.1145/3282517.3282525  0.366
2019 Yang G, Qiu R, Khurshid S, Păsăreanu CS, Wen J. A synergistic approach to improving symbolic execution using test ranges Innovations in Systems and Software Engineering. 15: 325-342. DOI: 10.1007/S11334-019-00331-9  0.447
2019 Hua J, Zhang Y, Zhang Y, Khurshid S. EdSketch: execution-driven sketching for Java International Journal On Software Tools For Technology Transfer. 21: 249-265. DOI: 10.1007/S10009-019-00512-8  0.49
2018 Wang K, Khurshid S, Gligoric M. JPR: Replaying JPF Traces Using Standard JVM Acm Sigsoft Software Engineering Notes. 42: 1-5. DOI: 10.1145/3149485.3149494  0.36
2017 Celik A, Pai S, Khurshid S, Gligoric M. Bounded exhaustive test-input generation on GPUs Proceedings of the Acm On Programming Languages. 1: 1-25. DOI: 10.1145/3133918  0.381
2017 Gyori A, Lambeth B, Khurshid S, Marinov D. Exploring Underdetermined Specifications using Java PathFinder Acm Sigsoft Software Engineering Notes. 41: 1-5. DOI: 10.1145/3011286.3011295  0.384
2017 Nagarajan S, Shafiei N, Khurshid S. Towards Exhaustive Testing of Websites using JPF Acm Sigsoft Software Engineering Notes. 41: 1-5. DOI: 10.1145/3011286.3011293  0.423
2016 Dong S, Olivo O, Zhang L, Khurshid S. Studying the influence of standard compiler optimizations on symbolic execution 2015 Ieee 26th International Symposium On Software Reliability Engineering, Issre 2015. 205-215. DOI: 10.1109/ISSRE.2015.7381814  0.306
2016 Zhong H, Zhang L, Khurshid S. The comKorat tool: Unified combinatorial and constraint-based generation of structurally complex tests Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9690: 107-113. DOI: 10.1007/978-3-319-40648-0_9  0.344
2015 Souto S, Gopinath D, D'Amorim M, Marinov D, Khurshid S, Batory D. Faster bug detection for software product lines with incomplete feature models Acm International Conference Proceeding Series. 20: 151-160. DOI: 10.1145/2791060.2791093  0.307
2015 Zheng X, Julien C, Kim M, Khurshid S. Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems Ieee Systems Journal. DOI: 10.1109/Jsyst.2015.2496293  0.377
2014 Sullivan A, Zaeem RN, Khurshid S, Marinov D. Towards a test automation framework for alloy 2014 International Spin Symposium On Model Checking of Software, Spin 2014 - Proceedings. 113-116. DOI: 10.1145/2632362.2632369  0.477
2014 Yang G, Person S, Rungta N, Khurshid S. Directed incremental symbolic execution Acm Transactions On Software Engineering and Methodology. 24. DOI: 10.1145/2629536  0.387
2013 Yang G, Khurshid S, Pasareanu CS. Memoise: A tool for memoized symbolic execution Proceedings - International Conference On Software Engineering. 1343-1346. DOI: 10.1109/ICSE.2013.6606713  0.322
2013 Rosner N, Siddiqui JH, Aguirre N, Khurshid S, Frias MF. Ranger: Parallel analysis of alloy models by range partitioning 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. 147-157. DOI: 10.1109/ASE.2013.6693075  0.382
2013 Frappier M, Glässer U, Khurshid S, Laleau R, Reeves S. Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010 Science of Computer Programming. 78: 270-271. DOI: 10.1016/J.Scico.2011.03.004  0.343
2013 Siddiqui JH, Khurshid S. Scaling symbolic execution using staged analysis Innovations in Systems and Software Engineering. 9: 119-131. DOI: 10.1007/S11334-013-0196-9  0.431
2013 Zhang L, Kim M, Khurshid S. FaultTracer: A spectrum-based approach to localizing failure-inducing program edits Journal of Software: Evolution and Process. 25: 1357-1383. DOI: 10.1002/Smr.1634  0.341
2012 Siddiqui JH, Khurshid S. Scaling symbolic execution using ranged analysis Acm Sigplan Notices. 47: 523-535. DOI: 10.1145/2398857.2384654  0.347
2012 Nokhbeh Zaeem R, Khurshid S. Test input generation using dynamic programming Proceedings of the Acm Sigsoft 20th International Symposium On the Foundations of Software Engineering, Fse 2012. DOI: 10.1145/2393596.2393635  0.347
2012 Funes D, Siddiqui JH, Khurshid S. Ranged Model Checking Acm Sigsoft Software Engineering Notes. 37: 1-5. DOI: 10.1145/2382756.2382799  0.437
2012 Siddiqui JH, Khurshid S. Staged symbolic execution Proceedings of the Acm Symposium On Applied Computing. 1339-1346. DOI: 10.1145/2245276.2231988  0.323
2012 Yang G, Pǎsǎreanu CS, Khurshid S. Memoized symbolic execution 2012 International Symposium On Software Testing and Analysis, Issta 2012 - Proceedings. 144-154. DOI: 10.1145/04000800.2336771  0.318
2012 Siddiqui JH, Marinov D, Khurshid S. Lightweight data-flow analysis for execution-driven constraint solving Proceedings - Ieee 5th International Conference On Software Testing, Verification and Validation, Icst 2012. 91-100. DOI: 10.1109/ICST.2012.89  0.346
2012 Malik MZ, Khurshid S. Dynamic shape analysis using spectral graph properties Proceedings - Ieee 5th International Conference On Software Testing, Verification and Validation, Icst 2012. 211-220. DOI: 10.1109/ICST.2012.101  0.316
2012 Ganov S, Khurshid S, Perry DE. Annotations for alloy: Automated incremental analysis using domain specific solvers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7635: 414-429. DOI: 10.1007/978-3-642-34281-3_29  0.38
2012 Yang G, Khurshid S, Kim M. Specification-based test repair using a lightweight formal method Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7436: 455-470. DOI: 10.1007/978-3-642-32759-9_37  0.307
2011 Khalek SA, Khurshid S. Systematic testing of database engines using a relational constraint solver Proceedings - 4th Ieee International Conference On Software Testing, Verification, and Validation, Icst 2011. 50-59. DOI: 10.1109/ICST.2011.21  0.368
2011 Khalek SA, Yang G, Zhang L, Marinov D, Khurshid S. TestEra: A tool for testing Java programs using alloy specifications 2011 26th Ieee/Acm International Conference On Automated Software Engineering, Ase 2011, Proceedings. 608-611. DOI: 10.1109/ASE.2011.6100137  0.375
2011 Khalek SA, Narayanan VP, Khurshid S. Mixed constraints for test input generation - An initial exploration 2011 26th Ieee/Acm International Conference On Automated Software Engineering, Ase 2011, Proceedings. 548-551. DOI: 10.1109/ASE.2011.6100122  0.371
2011 Ganov S, Khurshid S, Perry DE. A case for alloy annotations for efficient incremental analysis via domain specific solvers 2011 26th Ieee/Acm International Conference On Automated Software Engineering, Ase 2011, Proceedings. 464-467. DOI: 10.1109/ASE.2011.6100100  0.436
2011 Siddiqui JH, Khurshid S. Symbolic execution of alloy models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6991: 340-355. DOI: 10.1007/978-3-642-24559-6_24  0.451
2011 Gopinath D, Malik MZ, Khurshid S. Specification-based program repair using SAT Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 173-188. DOI: 10.1007/978-3-642-19835-9_15  0.335
2010 Khalek SA, Khurshid S. Automated SQL query generation for systematic testing of database engines Ase'10 - Proceedings of the Ieee/Acm International Conference On Automated Software Engineering. 329-332. DOI: 10.1145/1858996.1859063  0.391
2010 Gligoric M, Gvero T, Jagannath V, Khurshid S, Kuncak V, Marinov D. Test generation through programming in UDITA Proceedings - International Conference On Software Engineering. 1: 225-234. DOI: 10.1145/1806799.1806835  0.352
2010 Uzuncaova E, Khurshid S, Batory D. Incremental test generation for software product lines Ieee Transactions On Software Engineering. 36: 309-322. DOI: 10.1109/Tse.2010.30  0.764
2010 Nokhbeh Zaeem R, Khurshid S. Contract-based data structure repair using alloy Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6183: 577-598. DOI: 10.1007/978-3-642-14107-2_27  0.401
2009 Gligoric M, Gvero T, Lauterburg S, Marinov D, Khurshid S. Optimizing generation of object graphs in java pathfinder Proceedings - 2nd International Conference On Software Testing, Verification, and Validation, Icst 2009. 51-60. DOI: 10.1109/ICST.2009.52  0.31
2009 Siddiqui JH, Khurshid S. PKorat: Parallel generation of structurally complex test inputs Proceedings - 2nd International Conference On Software Testing, Verification, and Validation, Icst 2009. 250-259. DOI: 10.1109/ICST.2009.48  0.321
2009 Siddiqui JH, Marinov D, Khurshid S. Optimizing a structural constraint solver for efficient software checking Ase2009 - 24th Ieee/Acm International Conference On Automated Software Engineering. 615-619. DOI: 10.1109/ASE.2009.52  0.309
2009 Shao D, Khurshid S, Perry DE. An incremental approach to scope-bounded checking using a lightweight formal method Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5850: 757-772. DOI: 10.1007/978-3-642-05089-3_48  0.322
2008 Shao D, Khurshid S, Perry DE. Whispec: White-box testing of libraries using declarative specifications Lcsd 2007 - Proceedings of the 2007 Acm Sigplan Symposium On Library-Centric Software Design. 11-20. DOI: 10.1145/1512762.1512764  0.371
2008 Elkarablieh B, Marinov D, Khurshid S. Efficient solving of structural constraints Issta'08: Proceedings of the 2008 International Symposium On Software Testing and Analysis 2008. 39-49. DOI: 10.1145/1390630.1390637  0.373
2008 Malik MZ, Pervaiz A, Uzuncaova E, Khurshid S. Deryaft: A tool for generating representation invariants of structurally complex data Proceedings - International Conference On Software Engineering. 859-863. DOI: 10.1145/1368088.1368223  0.729
2008 Uzuncaova E, Garcia D, Khurshid S, Batory D. Testing software product lines using incremental test generation Proceedings - International Symposium On Software Reliability Engineering, Issre. 249-258. DOI: 10.1109/ISSRE.2008.56  0.747
2008 Khalek SA, Elkarablieh B, Laleye YO, Khurshid S. Query-aware test generation using a relational constraint solver Ase 2008 - 23rd Ieee/Acm International Conference On Automated Software Engineering, Proceedings. 238-247. DOI: 10.1109/ASE.2008.34  0.429
2008 Li X, Shannon D, Ghosh I, Ogawa M, Rajan SP, Khurshid S. Context-sensitive relevancy analysis for efficient symbolic execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5356: 36-52. DOI: 10.1007/978-3-540-89330-1-4  0.308
2008 Uzuncaova E, Khurshid S. Constraint prioritization for efficient analysis of declarative models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5014: 310-325. DOI: 10.1007/978-3-540-68237-0_22  0.773
2007 Uzuncaova E, Garcia D, Khurshid S, Batory D. A specification-based approach to testing software product lines 6th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2007. 525-528. DOI: 10.1145/1287624.1287701  0.778
2007 Misailovic S, Milicevic A, Petrovic N, Khurshid S, Marinov D. Parallel test generation and execution with Korat 6th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2007. 135-144. DOI: 10.1145/1287624.1287645  0.314
2007 Khurshid S, Malik MZ, Uzuncaova E. An automated approach for writing alloy specifications using instances Proceedings - Isola 2006: 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. 449-457. DOI: 10.1109/ISoLA.2006.44  0.768
2007 Zaraket F, Aziz A, Khurshid S. Sequential circuits for relational analysis Proceedings - International Conference On Software Engineering. 13-22. DOI: 10.1109/ICSE.2007.75  0.382
2007 Milićević A, Misailović S, Marinov D, Khurshid S. Korat: A tool for generating structurally complex test inputs Proceedings - International Conference On Software Engineering. 771-774. DOI: 10.1109/ICSE.2007.48  0.343
2007 Uzuncaova E, Khurshid S. Kato: A program slicing tool for declarative specifications Proceedings - International Conference On Software Engineering. 767-770. DOI: 10.1109/ICSE.2007.47  0.766
2007 Elkarablieh B, Zayour Y, Khurshid S. Efficiently generating structurally complex inputs with thousands of objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4609: 248-272.  0.314
2007 Malik MZ, Pervaiz A, Khurshid S. Generating representation invariants of structurally complex data Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 34-49.  0.379
2007 Podorozhny R, Khurshid S, Perry D, Zhang X. Verification of multi-agent negotiations using the alloy analyzer Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4591: 501-517.  0.352
2006 Uzuncaova E, Khurshid S. Program slicing for declarative models Acm Sigsoft Software Engineering Notes. 31: 1-2. DOI: 10.1145/1218776.1218798  0.765
2006 Li X, Shannon D, Walker J, Khurshid S, Marinov D. Analyzing the Uses of a Software Modeling Tool Electronic Notes in Theoretical Computer Science. 164: 3-18. DOI: 10.1016/J.Entcs.2006.10.001  0.442
2005 Coppit D, Yang J, Khurshid S, Le W, Sullivan K. Software assurance by bounded exhaustive testing Ieee Transactions On Software Engineering. 31: 328-339. DOI: 10.1109/Tse.2005.52  0.453
2005 Artho C, Barringer H, Goldberg A, Havelund K, Khurshid S, Lowry M, Pasareanu C, Roşu G, Sen K, Visser W, Washington R. Combining test case generation and runtime verification Theoretical Computer Science. 336: 209-234. DOI: 10.1016/J.Tcs.2004.11.007  0.436
2004 Khurshid S, Marinov D. TestEra: Specification-based testing of java programs using SAT Automated Software Engineering. 11: 403-434. DOI: 10.1023/B:AUSE.0000038938.10589.b9  0.361
2004 Arkoudas K, Khurshid S, Marinov D, Rinard M. Integrating model checking and theorem proving for relational reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3051: 21-33.  0.413
2004 Visser W, Pǎsǎreanu CS, Khurshid S. Test input generation with Java PathFinder Issta 2004 - Proceedings of the Acm Sigsoft International Symposium On Software Testing and Analysis. 97-107.  0.312
2003 Arkoudas K, Khurshid S, Marinov D, Rinard MC. Integrating Model Checking and Theorem Proving for Relational Reasoning Lecture Notes in Computer Science. 21-33. DOI: 10.1007/978-3-540-24771-5_3  0.509
2003 Khurshid S, Pǎsǎreanu CS, Visser W. Generalized symbolic execution for model checking and testing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2619: 553-568.  0.373
2002 Marinov D, Khurshid S. VAlloy – Virtual functions meet a relational language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2391: 234-251.  0.429
2002 Khurshid S, Marinov D, Jackson D. An analyzable annotation language Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 231-245.  0.358
2001 Khurshid S, Marinov D. Checking Java implementation of a naming architecture using TestEra Electronic Notes in Theoretical Computer Science. 55: 322-342. DOI: 10.1016/S1571-0661(04)00260-9  0.551
Show low-probability matches.