Automatic formal specification generation of APIs by mining unit tests.

Otmar M. Pereira Jr., Wladmir C. Brando, Mark Alan Junho Song

Browse the full SAC paper archive.