Infoscience

Report

Oasis: Concolic Execution Driven by Test Suites and Code Modifications

Related material