mdd:specification_mining_for_bug_detection

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
mdd:specification_mining_for_bug_detection [2017/12/27 18:18] – created leonovmdd:specification_mining_for_bug_detection [2026/08/29 07:59] (current) – external edit 127.0.0.1
Line 1: Line 1:
 +====== 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 на статью в Интернете
 +   - и т п