bibliographer - Sarfraz Khurshid

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Studying the influence of standard compiler optimizations on symbolic execution Shiyu Dong Oswaldo Olivo Lingming Zhang Sarfraz Khurshid [github]

Test input generation with java PathFinder Willem Visser Corina S. Psreanu Sarfraz Khurshid [github]

Directed Incremental Symbolic Execution Guowei Yang Suzette Person Neha Rungta Sarfraz Khurshid [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]