Kathryn T. Stolee

Mining Specifications from Documentation using a Crowd

2019

Temporal API specifications are useful for many software engineering tasks, such as test case generation. In practice, however, APIs are rarely formally specified, inspiring researchers to develop tools that infer or mine specifications automatically.Traditional specification …