Search results for "symbolic execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster	Mixing type checking and symbolic execution.	PLDI	2010	DBLP DOI BibTeX RDF	mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms
3	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
3	Brett Daniel, Tihomir Gvero, Darko Marinov	On test repair using symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	pex, reassert, symbolic test repair, test repair, symbolic execution
3	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
3	Nicolas Rapin	Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables.	TAP	2009	DBLP DOI BibTeX RDF	Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic
3	Jason Belt, Robby, Xianghua Deng	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program analysis, symbolic execution, decision procedure
3	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Combining symbolic execution with model checking to verify parallel numerical programs.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program
3	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
3	Xiang Fu, Kai Qian	SAFELI: SQL injection scanner using symbolic execution.	TAV-WEB	2008	DBLP DOI BibTeX RDF	symbolic execution, automated testing, constraint solver, SQL injection attack
3	Yamini Kannan, Koushik Sen	Universal symbolic execution and its application to likely data structure invariant generation.	ISSTA	2008	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, execution traces, logical inference, program invariants
3	Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu	Differential symbolic execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	program differencing, software evolution, symbolic execution
3	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
3	Nikolai Tillmann, Wolfram Schulte	Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.	IEEE Software	2006	DBLP DOI BibTeX RDF	test coverage of code, formal methods, validation, symbolic execution, testing tools, test design
3	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Using model checking with symbolic execution to verify parallel numerical programs.	ISSTA	2006	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program
3	Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Test Purpose Definition.	TestCom	2006	DBLP DOI BibTeX RDF	Input/Output Symbolic Transition Systems, Conformance testing, Symbolic Execution, Coverage Criteria, Test Purposes
3	D. Kebbal	Automatic Flow Analysis Using Symbolic Execution and Path Enumeration.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
3	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
3	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
3	Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli	Software Specialization Via Symbolic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
3	Michal Young, Richard N. Taylor	Combining Static Concurrency Analysis with Symbolic Execution.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment
2	Edward J. Schwartz, Thanassis Avgerinos, David Brumley	All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask).	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	dynamic analysis, symbolic execution, taint analysis
2	Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.	ICST	2010	DBLP DOI BibTeX RDF	symbolic input-output conformance, symbolic test case generation, model-based testing, conformance testing, symbolic execution
2	Ming-Yee Iu, Willy Zwaenepoel	HadoopToSQL: a mapReduce query optimizer.	EuroSys	2010	DBLP DOI BibTeX RDF	sql, query optimization, mapreduce, symbolic execution
2	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
2	Ishtiaque Hussain, Christoph Csallner	Dynamic symbolic data structure repair.	ICSE	2010	DBLP DOI BibTeX RDF	data structure invariants, data structure repair, dynamic symbolic execution
2	William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
2	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	STTT	2009	DBLP DOI BibTeX RDF
2	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution of Distributed Concurrent Objects.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Discovering Application-Level Insider Attacks Using Symbolic Execution.	SEC	2009	DBLP DOI BibTeX RDF
2	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
2	Trevor Hansen, Peter Schachte, Harald Søndergaard	State Joining and Splitting for the Symbolic Execution of Binaries.	RV	2009	DBLP DOI BibTeX RDF
2	Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song	Loop-extended symbolic execution on binary programs.	ISSTA	2009	DBLP DOI BibTeX RDF	loop summaries, vulnerability discovery and diagnosis
2	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution for Testing Distributed Objects.	TAP	2009	DBLP DOI BibTeX RDF
2	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
2	Rui Wang 0010, XiaoFeng Wang, Zhou Li, Haixu Tang, Michael K. Reiter, Zheng Dong	Privacy-preserving genomic computation through program specialization.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	human genome, privacy-preserving computation, dynamic programming, symbolic execution, secure multi-party computation, program specialization
2	Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani	Darwin: an approach for debugging evolving programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	debugging, software evolution, symbolic execution
2	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
2	Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi	A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Service composition, symbolic execution, test-case generation, orchestration, transition systems, WS-BPEL, formal testing
2	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens	Test Input Generation for Programs with Pointers.	TACAS	2009	DBLP DOI BibTeX RDF	symbolic execution, pointers, Test input generation
2	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	2008	DBLP DOI BibTeX RDF
2	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
2	Yu Hong, Song Huang, Xiaoming Liu, Xiushan Yu	Using Symbolic Execution in Embedded Software Testing.	CSSE	2008	DBLP DOI BibTeX RDF
2	Nupur Kothari, Todd D. Millstein, Ramesh Govindan	Deriving State Machines from TinyOS Programs Using Symbolic Execution.	IPSN	2008	DBLP DOI BibTeX RDF
2	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
2	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis	DySy: dynamic symbolic execution for invariant inference.	ICSE	2008	DBLP DOI BibTeX RDF	daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
2	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
2	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
2	Benoît Fraikin, Marc Frappier	Efficient Symbolic Execution of Large Quantifications in a Process Algebra.	ICFEM	2007	DBLP DOI BibTeX RDF
2	Xianghua Deng, Robby, John Hatcliff	Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.	SEFM	2007	DBLP DOI BibTeX RDF
2	Saswat Anand, Alessandro Orso, Mary Jean Harrold	Type-Dependence Analysis and Program Transformation for Symbolic Execution.	TACAS	2007	DBLP DOI BibTeX RDF
2	Saswat Anand, Corina S. Pasareanu, Willem Visser	JPF-SE: A Symbolic Execution Extension to Java PathFinder.	TACAS	2007	DBLP DOI BibTeX RDF
2	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	Aaron Tomb, Guillaume P. Brat, Willem Visser	Variably interprocedural program analysis for runtime error detection.	ISSTA	2007	DBLP DOI BibTeX RDF	can-test, generation, symbolic execution, defect detection
2	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
2	Mark Grechanik	Finding errors in components that exchange xml data.	ASE	2007	DBLP DOI BibTeX RDF	schema validator, interoperability, program analysis, bisimulation, XML schema, symbolic execution
2	Koushik Sen	Concolic testing.	ASE	2007	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing
2	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
2	Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado	Bouncer: securing software by blocking bad input.	SOSP	2007	DBLP DOI BibTeX RDF	precondition slicing, symbolic execution
2	Alain Faivre, Christophe Gaston, Pascale Le Gall	Symbolic Model Based Testing for Component Oriented Systems.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	ioco-based conformance testing, input/output symbolic transition system, symbolic execution, component based system
2	Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler	Automatically Generating Malicious Disks using Symbolic Execution.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
2	Xianghua Deng, Jooyong Lee, Robby	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems.	ASE	2006	DBLP DOI BibTeX RDF
2	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
2	Xianghua Deng, Robby, John Hatcliff	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Marco Cova, Viktoria Felmetsger, Greg Banks, Giovanni Vigna	Static Detection of Vulnerabilities in x86 Executables.	ACSAC	2006	DBLP DOI BibTeX RDF	binary static analysis, symbolic execution, Vulnerability analysis, taint analysis
2	Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.	TACAS	2005	DBLP DOI BibTeX RDF
2	Mark Stewart	Advancing Scientific Computation by Improving Scientific Code Development: Symbolic Execution and Semantic Analysis.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Lorenzo Capra	Colored Petri Nets State-Space Reduction via Symbolic Execution.	SYNASC	2005	DBLP DOI BibTeX RDF	quotient graphs, symmetries, High-Level Petri Nets, linear constraints
2	Mark E. M. Stewart	Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis.	SEW	2005	DBLP DOI BibTeX RDF
2	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	Symbolic Execution with Separation Logic.	APLAS	2005	DBLP DOI BibTeX RDF
2	Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong	On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	metamorphism, polymorphism, symbolic execution, worms, honeypots, polymorphic worms
2	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
2	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests with unit meister.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
2	Jian Zhang, Chen Xu, Xiaoliang Wang	Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.	SEFM	2004	DBLP DOI BibTeX RDF
2	Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary	Symbolic Execution of Behavioral Requirements.	PADL	2004	DBLP DOI BibTeX RDF
2	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
2	Jian Zhang 0001	Symbolic Execution of Program Paths Involving Pointer and Structure Variables.	QSIC	2004	DBLP DOI BibTeX RDF
2	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
2	Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel	Model-based testing for real.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Symbolic execution, Behavior models, Test case generation
2	J. Doyle, C. Meudec	IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming.	PPPJ	2003	DBLP DOI BibTeX RDF	logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
2	J. Strother Moore	Rewriting for Symbolic Execution of State Machine Models.	CAV	2001	DBLP DOI BibTeX RDF	microprocessor simulation, pipelined machine, verification, theorem proving, Hardware modeling
2	C. Koutsikas, Nicos Malevris	A Unified Symbolic Execution System.	AICCSA	2001	DBLP DOI BibTeX RDF
2	Suzanne M. Embury, Jianhua Shao	Assisting the Comprehension of Legacy Transactions. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	legacy transactions, program comprehension, symbolic execution, data reverse engineering
2	Ying Hu, Ettore Merlo, Michel Dagenais, Bruno Laguë	C/C++ Conditional Compilation Analysis using Symbolic Execution. (PDF / PS)	ICSM	2000	DBLP DOI BibTeX RDF
2	Ugo A. Buy, Alessandro Orso, Mauro Pezzè	Automated Testing of Classes.	ISSTA	2000	DBLP DOI BibTeX RDF	testing and analysis, testing object-oriented software, data flow analysis, symbolic execution, class testing
2	Daniel Brand	A Software Falsifier.	ISSRE	2000	DBLP DOI BibTeX RDF	static analysis, theorem proving, data-flow analysis, symbolic execution
2	Ileana Ober	More Meaningful UML Models.	TOOLS	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
2	Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella	Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF	execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
2	Chuck Monahan, Forrest Brewer	Scheduling and binding bounds for RT-level symbolic execution.	ICCAD	1997	DBLP DOI BibTeX RDF	ALAP bounds, as-late-as-possible bounds, binding bounds, efficient operand mapping bound, exact scheduling problem, minimal schedule length, operand recomputation, point-to-point delays, pre-defined data path, register transfer level symbolic execution, time improvement factors, transitive memory units, processor scheduling
2	Matthew J. Gallagher, V. Lakshmi Narasimhan	ADTEST: A Test Data Generation Suite for Ada Software Systems.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Software test data generation, software testing, symbolic execution, program instrumentation
2	In Sang Chung, Malcolm Munro, Wan Kwon Lee, Yong Rae Kwon	Applying Conventional Testing Techniques for Class Testing. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	program testing techniques, class member function testing, code-based testing, formal specification, object-oriented programming, object oriented programming, finite state machines, finite state machines, program testing, symbolic execution, programming theory, specification-based testing, class testing, branch coverage
2	Chuck Monahan, Forrest Brewer	Symbolic execution of data paths.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements
2	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
2	Jeffrey Douglas, Richard A. Kemmerer	Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
2	Laura K. Dillon	Using Symbolic Execution for Verification of Ada Tasking Programs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF	Ada
2	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
2	Larry J. Morell	A Theory of Fault-Based Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	fault-based program testing, prescribed faults, alternate expressions, program expressions, symbolic alternative, propagation equation, alternative set, finite test, computational complexity, program verification, symbolic execution, symbol manipulation, test set
1	Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab	Symbolic execution of Reo circuits using constraint automata.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Xianghua Deng, Jooyong Lee, Robby	Efficient and formal generalized symbolic execution.	Autom. Softw. Eng.	2012	DBLP DOI BibTeX RDF
1	Jiri Slaby, Jan Strejcek, Marek Trtík	On Synergy of Metal, Slicing, and Symbolic Execution	CoRR	2012	DBLP BibTeX RDF
1	Marek Trtík	Compact Symbolic Execution (technical report)	CoRR	2012	DBLP BibTeX RDF