Not logged in

Return

Enhancing Symbolic Execution with Veritesting

2016-05-23

14

OA

AI

Thanassis Avgerinos *

Alexandre Rebert

DOI：10.1145/2927924

Original request for help

Save

Abstract

En

Journal

Communications of the ACM

IF:

12.2

Papers:

1.2W

Citations:

3.7W

Organization

C

Carnegie Mellon University

Scholars:

1.4W

Papers: 1.4W

Citations: 2.7W