Eric F. Rizzi

According to our database, Eric F. Rizzi authored at least 3 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Xandra: An Autonomous Cyber Battle System for the Cyber Grand Challenge.

Anh Nguyen-Tuong, David Melski, Jack W. Davidson, Michele Co, William H. Hawkins, Jason D. Hiser, Derek Morris, Ducson Nguyen, Eric F. Rizzi

IEEE Secur. Priv., 2018

2016

On the techniques we create, the tools we build, and their misalignments: a study of KLEE.

Eric F. Rizzi, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 38th International Conference on Software Engineering, 2016

2014

Safely reducing the cost of unit level symbolic execution through read/write analysis.

Eric F. Rizzi, Matthew B. Dwyer, Sebastian G. Elbaum

ACM SIGSOFT Softw. Eng. Notes, 2014