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]
No references recorded for this publication.
No citations of this publication recorded.