Azat Abdullin, Marat Akhin. By the power of SMT! mining function contracts to better bounded model checking. In Ming Li, Xiaoyin Wang, Lucia, editors, Proceedings of the 5th International Workshop on Software Mining, SoftwareMining@ASE 2016, Singapore, Singapore, September 3, 2016. pages 11-17, ACM, 2016. [doi]
Abstract is missing.