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]

Abstract

Abstract is missing.