Automatic Formal Specification Generation of APIs by Mining Unit Tests
Mark Alan Junho Song
Wladmir Cardoso Brandão