Login / Signup
Eric F. Rizzi
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 2
Top Topics
Grand Challenge
Cyber Crime
Software Tools
Simplex Method
Top Venues
IEEE Secur. Priv.
ACM SIGSOFT Softw. Eng. Notes
ICSE
</>
Publications
</>
Anh Nguyen-Tuong
,
David Melski
,
Jack W. Davidson
,
Michele Co
,
William H. Hawkins
,
Jason D. Hiser
,
Derek Morris
,
Ducson Nguyen
,
Eric F. Rizzi
Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge.
IEEE Secur. Priv.
16 (2) (2018)
Eric F. Rizzi
,
Sebastian G. Elbaum
,
Matthew B. Dwyer
On the techniques we create, the tools we build, and their misalignments: a study of KLEE.
ICSE
(2016)
Eric F. Rizzi
,
Matthew B. Dwyer
,
Sebastian G. Elbaum
Safely reducing the cost of unit level symbolic execution through read/write analysis.
ACM SIGSOFT Softw. Eng. Notes
39 (1) (2014)