Automatic formal specification generation of APIs by mining unit tests.

Otmar M. Pereira Jr.Wladmir C. Brandão Mark Alan Junho Song

Published in: SAC (2016)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
process algebra
formal methods
reverse engineering
concurrent systems
model checker
data abstraction
data mining
open source
frequent patterns
temporal logic
knowledge acquisition
machine learning