Results 271 to 280 of about 949,278 (287)

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

International Journal on Software Tools for Technology Transfer, 2009
Willem I Visser, Corina S. Pasareanu
exaly  

Multi-Solver Support in Symbolic Execution

Lecture Notes in Computer Science, 2013
Cristian Cadar
exaly  

Generalized Symbolic Execution for Model Checking and Testing

Lecture Notes in Computer Science, 2003
Willem I Visser, Corina S. Pasareanu, Sarfraz Khurshid   +2 more
exaly  

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs

Lecture Notes in Computer Science, 2011
Indradeep Ghosh
exaly  

Steering Symbolic Execution to Less Traveled Paths

ACM SIGPLAN Notices, 2013
Xuandong Li, Linzhang Wang, Zhendong Su
exaly  

A General Lattice Model for Merging Symbolic Execution Branches

Lecture Notes in Computer Science, 2016
Reiner Hähnle, Richard Bubel
exaly  

Scaling Symbolic Execution Using Ranged Analysis

ACM SIGPLAN Notices, 2012
Junaid Haroon Siddiqui, Sarfraz Khurshid
exaly  

TRACER: A Symbolic Execution Tool for Verification

Lecture Notes in Computer Science, 2012
Joxan Jaffar
exaly  

The Symbolic Execution Debugger (SED): A Platform for Interactive Symbolic Execution, Debugging, Verification and More

International Journal on Software Tools for Technology Transfer, 2019
Reiner Hähnle, Richard Bubel, Martin Hentschel   +2 more
exaly  

A Generic Framework for Symbolic Execution: A Coinductive Approach

Journal of Symbolic Computation, 2017
Dorel Lucanu, Andrei Arusoaie, Vlad Rusu
exaly