Minerva: An automated (2001)

by G A Alvarez, E Borowsky, S Go, T H Oromer, R BEcker-Szendy, R Golding, A Merchant, M Spasojevic, A Veitch, J Wilkes
Venue:USENIX Association OSDI ’04: 6th Symposium on Operating Systems Design and Implementation