bibliographer - Gordon Fraser

bibliographer a curated TCS bibliography

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

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking Juan P. Galeotti Carlo A. Furia Eva May Gordon Fraser Andreas Zeller [github]

EvoSuite Gordon Fraser Andrea Arcuri [github]

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

[show logs] [hide logs]