Results 271 to 280 of about 842,701 (337)

The ARCH model: a neuroevolutionary framework for behavioral execution. [PDF]

Front Psychiatry
Rahman T, Zorumski CF, Meloy JR.
europepmc   +1 more source

Assessing Limb Apraxia in Quebec: Normative Study of the Brief Battery for the Evaluation of Praxis in Healthy French-Speaking Adults. [PDF]

Arch Clin Neuropsychol
Macoir J, Landry M, Hudon C.
europepmc   +1 more source

Chopped symbolic execution [PDF]

Proceedings of the 40th International Conference on Software Engineering, 2018
Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known path explosion problem and constraint solving limitations.
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar   +3 more
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

A bounded symbolic-size model for symbolic execution

Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Symbolic execution is a powerful program analysis technique which allows executing programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of object sizes, that does not allow symbolic-size allocations.
David Trabish, Shachar Itzhaky, N. Rinetzky   +2 more
semanticscholar   +2 more sources

Symbolic execution with mixed concrete-symbolic solving

Proceedings of the 2011 International Symposium on Software Testing and Analysis, 2011
Symbolic execution is a powerful static program analysis technique that has been used for the automated generation of test inputs. Directed Automated Random Testing (DART) is a dynamic variant of symbolic execution that initially uses random values to execute a program and collects symbolic path conditions during the execution.
Corina S. Pasareanu, Neha Rungta, Willem Visser   +2 more
openaire   +2 more sources

Running symbolic execution forever [PDF]

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
When symbolic execution is used to analyse real-world applications, it often consumes all available memory in a relatively short amount of time, sometimes making it impossible to analyse an application for an extended period. In this paper, we present a technique that can record an ongoing symbolic execution analysis to disk and selectively restore ...
Frank Busse, Martin Nowack, Cristian Cadar   +2 more
openaire   +2 more sources

Symbolic Execution Debugger (SED)

, 2014
We present the Symbolic Execution Debugger for sequential Java programs. Being based on symbolic execution, its functionality goes beyond that of traditional interactive debuggers. For instance, debugging can start directly at any method or statement and all program execution paths are explored simultaneously.
Martin Hentschel 0002, Richard Bubel, Reiner Hähnle   +2 more
openaire   +2 more sources