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. dl.acm.org

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

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

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

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