|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 90 occurrences of 50 keywords
|
|
|
|
|
Results
Found 82 publication records. Showing 82 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sarfraz Khurshid, Koushik Sen (eds.) |
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers  |
RV  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley |
History-Aware Data Structure Repair Using SAT. |
TACAS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shounak Roychowdhury, Sarfraz Khurshid |
A Novel Framework for Locating Software Faults Using Latent Divergences. |
ECML/PKDD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid |
Constraint-Based Program Debugging Using Data Structure Repair. |
ICST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Sarfraz Khurshid |
Systematic Testing of Database Engines Using a Relational Constraint Solver. |
ICST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
Symbolic Execution of Alloy Models. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid |
Directed incremental symbolic execution. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid |
Specification-Based Program Repair Using SAT. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid |
TestEra: A tool for testing Java programs using alloy specifications. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid |
Mixed constraints for test input generation - An initial exploration. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
A case for alloy annotations for efficient incremental analysis via domain specific solvers. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid |
Reducing combinatorics in testing product lines. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingming Zhang, Miryung Kim, Sarfraz Khurshid |
Localizing failure-inducing program edits based on spectrum information. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingming Zhang, Darko Marinov, Lu Zhang 0023, Sarfraz Khurshid |
An Empirical Study of JUnit Test-Suite Reduction. |
ISSRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Sarfraz Khurshid |
Efficiently Running Test Suites Using Abstract Undo Operations. |
ISSRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
Symbolic execution for software testing in practice: preliminary assessment. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory |
Incremental Test Generation for Software Product Lines. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
software engineering, testing and debugging, Software/program verification |
| 1 | Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
Reducing Configurations to Monitor in a Software Product Line. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid |
Eliminating products to test in a software product line. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shadi Abdul Khalek, Sarfraz Khurshid |
Automated SQL query generation for systematic testing of database engines. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
Contract-Based Data Structure Repair Using Alloy. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry |
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. |
ISSRE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
Test generation through programming in UDITA. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder |
| 1 | Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry |
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.) |
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings |
ABZ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
Introducing Specification-Based Data Structure Repair Using Alloy. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
Optimizing Generation of Object Graphs in Java PathFinder. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
PKorat: Parallel Generation of Structurally Complex Test Inputs. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |
Event Listener Analysis and Symbolic Execution for Testing GUI Applications. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
symbolic execution, GUI testing, test input generation |
| 1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
An Empirical Study of Structural Constraint Solving Techniques. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
model checking, SAT, symbolic execution, state space exploration, systematic testing, Empirical comparison, software testing tools |
| 1 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
Semantic Impact and Faults in Source Code Changes: An Empirical Study. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
Optimizing a Structural Constraint Solver for Efficient Software Checking. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Software Testing, Bounded Exhaustive Testing |
| 1 | Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid |
A Case for Automated Debugging Using Data Structure Repair. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Juzi, Korat, Debugging, Data structure repair |
| 1 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method |
| 1 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
SCA: a semantic conflict analyzer for parallel changes. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
data flow, semantic analysis, version management |
| 1 | Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid |
Efficient solving of structural constraints. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
model checking, backtracking, systematic testing |
| 1 | Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid |
Query-Aware Test Generation Using a Relational Constraint Solver. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Sarfraz Khurshid |
Constraint Prioritization for Efficient Analysis of Declarative Models. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
Testing Software Product Lines Using Incremental Test Generation. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |
State extensions for java pathfinder. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
delta execution, jpf, mixed execution, java pathfinder |
| 1 | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |
Test Generation for Graphical User Interfaces Based on Symbolic Execution. |
AST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid |
Deryaft: a tool for generating representation invariants of structurally complex data. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
invariant detection, representation invariants |
| 1 | Bassem Elkarablieh, Sarfraz Khurshid |
Juzi: a tool for repairing complex data structures. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
systematic search, symbolic execution, assertions, error recovery, data structure repair |
| 1 | Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid |
Generating Representation Invariants of Structurally Complex Data. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid |
Sequential circuits for program analysis. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model checking, verification, static analysis, program analysis |
| 1 | Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid |
Assertion-based repair of complex data structures. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
assertion-driven development, systematic search, symbolic execution, error recovery, data structure repair |
| 1 | Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid |
Global Optimization of Compositional Systems. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
Verification of Multi-agent Negotiations Using the Alloy Analyzer. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley |
Starc: static analysis for efficient repair of complex data. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
static analysis, symbolic execution, data structure repair |
| 1 | Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid |
Efficiently Generating Structurally Complex Inputs with Thousands of Objects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Constraint-based Generation, Integer Constraint Solving, Software Testing, Data Structure Repair |
| 1 | Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid |
Sequential Circuits for Relational Analysis. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Sarfraz Khurshid |
Kato: A Program Slicing Tool for Declarative Specifications. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid |
Korat: A Tool for Generating Structurally Complex Test Inputs. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov |
Parallel test generation and execution with Korat. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
Korat, test data generation, parallel testing, bounded-exhaustive testing |
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
A specification-based approach to testing software product lines. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca |
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
A specification-based approach to testing software product lines. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca |
| 1 | Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov |
Analyzing the Uses of a Software Modeling Tool. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Engin Uzuncaova, Sarfraz Khurshid |
Program slicing for declarative models. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |
An Automated Approach for Writing Alloy Specifications Using Instances. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan |
Software Assurance by Bounded Exhaustive Testing. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, program verification, testing and debugging |
| 1 | Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington |
Combining test case generation and runtime verification. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
Optimizations for Compiling Declarative Models into Boolean Formulas. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Iván García, Yuk Lai Suen |
Repairing Structurally Complex Data. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Yuk Lai Suen |
Generalizing symbolic execution to library classes. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
korat, model checking, symbolic execution, test input generation |
| 1 | Sarfraz Khurshid, Darko Marinov |
TestEra: Specification-Based Testing of Java Programs Using SAT. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation |
| 1 | Patrice Godefroid, Sarfraz Khurshid |
Exploring very large state spaces using genetic algorithms. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Genetic algorithms, Model checking, Verification, Heuristics, State-space exploration |
| 1 | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
Software assurance by bounded exhaustive testing. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing |
| 1 | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
Test input generation with java PathFinder. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees |
| 1 | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
Generalized Symbolic Execution for Model Checking and Testing. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson |
A Case for Efficient Solution Enumeration. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard |
Integrating Model Checking and Theorem Proving for Relational Reasoning. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Sarfraz Khurshid |
Exploring Very Large State Spaces Using Genetic Algorithms. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
Korat: automated testing based on Java predicates. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Marinov, Sarfraz Khurshid |
VAlloy - Virtual Functions Meet a Relational Language. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Darko Marinov, Daniel Jackson |
An analyzable annotation language. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language |
| 1 | Sarfraz Khurshid, Darko Marinov |
Checking Java implementation of a naming architecture using Testera. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid |
Testing an Intentional Naming Scheme Using Genetic Algorithms. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Marinov, Sarfraz Khurshid |
TestEra: A Novel Framework for Automated Testing of Java Programs. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Daniel Jackson |
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid |
Is the Java Type System Sound? |
TAPOS |
1999 |
DBLP BibTeX RDF |
|
Displaying result #1 - #82 of 82 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")