[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Leveraging test generation and specification mining for automated bug detection without false positives

✍ Scribed by Pradel, Michael; Gross, Thomas R.

• Book ID: 126764655
• Publisher: IEEE
• Year: 2012
• Weight: 311 KB
• Category: Article
• ISBN: 1467310654
• DOI: 10.1109/ICSE.2012.6227185