Results 331 to 337 of about 842,701 (337)
Some of the next articles are maybe not open access.

Dependence Guided Symbolic Execution

IEEE Transactions on Software Engineering, 2017
Haijun Wang, Ting Liu, Xiaohong Guan
exaly  

Efficient state merging in symbolic execution

ACM SIGPLAN Notices, 2012
Stefan Bucur   +2 more
exaly  

Symbolic execution and testing

Information and Software Technology, 1991
exaly  

symbolic execution

2011
openaire   +1 more source

symbolic execution

2000
openaire   +1 more source

Symbolic execution of LOTOS specifications.

1991
Eertink, E.H., Wolz, D.
openaire   +2 more sources

A Personal Retrospective on Symbolic Execution

IEEE Transactions on Software Engineering
openaire   +1 more source
fos: computer and information sciences
programming languages cs.pl
computer science - programming languages
engineering
static analysis
computer science - software engineering
code obfuscation
software engineering cs.se
16. peace & justice
previous   32  33  34  

Home - About - Disclaimer - Privacy