Otmar M. Pereira Jr.

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Specification Languages

Frequent Patterns

Data Abstraction

Top Venues

Publications

Otmar M. Pereira Jr., Wladmir C. Brandão, Mark Alan Junho Song
Automatic formal specification generation of APIs by mining unit tests. SAC (2016)