Paper

Automatic Formal Specification Generation of APIs by Mining Unit Tests

PEREIRA JUNIOR, Otmar Martins ; BRANDAO, Wladmir Cardoso ; SONG, Mark Alan Junho . Automatic Formal Specification Generation of APIs by Mining Unit Tests. In: 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016. p. 1542-1545.

2016

Created by Lattes PostCaptcha Importer at 2018-06-05 15:23:11.0.
Simplified Graph of Associations
Quid