BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment.

Pavel Parzek

Browse the full ATVA paper archive.