====== Leveraging test generation and specification mining for automated bug detection without false positives ======

Michael Pradel and Thomas R. Gross. 2012. Leveraging test generation and specification mining for automated bug detection without false positives.  In //Proceedings of the 34th International Conference on Software Engineering// (ICSE '12). IEEE Press, Piscataway, NJ, USA,  288-298. [[http://dl.acm.org/citation.cfm?id=2337223.2337258|dl.acm.org]]

===== Основная часть =====

В основной части излагается краткое изложение статьи. Допускается использовать подразделы, вставлять картинки, форматирование.

===== Заключение =====

В заключении дается сжато основная решенная задача, оценка изложенной работы, сравнение с другими результатами

===== Ссылки =====

В этом разделе можно привести дополнительные внутренние и внешние ссылки.

   - Ссылка в формате ACM
   - URL на статью в Интернете
   - и т п