External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automatic mining of specifications from invocation traces and method invariants

Ivo Krka, Yuriy Brun, Nenad Medvidovic. Automatic mining of specifications from invocation traces and method invariants. In Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey, editors, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. pages 178-189, ACM, 2014. [doi]

Authors

Ivo Krka

This author has not been identified. Look up 'Ivo Krka' in Google

Yuriy Brun

This author has not been identified. Look up 'Yuriy Brun' in Google

Nenad Medvidovic

This author has not been identified. Look up 'Nenad Medvidovic' in Google
runs on