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.

Investigating Program Behavior Using the Texada LTL Specifications Miner

Caroline Lemieux, Ivan Beschastnikh. Investigating Program Behavior Using the Texada LTL Specifications Miner. In Myra B. Cohen, Lars Grunske, Michael Whalen, editors, 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. pages 870-875, IEEE, 2015. [doi]

Authors

Caroline Lemieux

This author has not been identified. Look up 'Caroline Lemieux' in Google

Ivan Beschastnikh

This author has not been identified. Look up 'Ivan Beschastnikh' in Google
runs on