ACM Foundations of Software Engineering, FSE 2014


Article Details
Title: Automatic mining of specifications from invocation traces and method invariants
Article URLs:
Alternative Article URLs:
Authors: Ivo Krka
  • Google Inc.
Yuriy Brun
  • University of Massachusetts Amherst
Nenad Medvidovic
  • University of Southern California
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1117593, 1218115, 1321141
DBLP Key: conf/sigsoft/KrkaBM14
Author Comments:

Discuss this paper and its artifacts below