𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Modular design and verification of component-based mechatronic systems with online-reconfiguration

✍ Scribed by Giese, Holger; Burmester, Sven; Sch�fer, Wilhelm; Oberschelp, Oliver

Book ID
121308739
Publisher
ACM Press
Year
2004
Weight
439 KB
Category
Article
ISBN-13
9781581138559

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 12th ACM SIGSOFT twelfth
[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Correlation exploitation in error ranking
✍ Kremenek, Ted; Ashcraft, Ken; Yang, Junfeng; Engler, Dawson 📂 Article 📅 2004 🏛 ACM Press ⚖ 457 KB

Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error checker useless by hiding real errors amidst the false. Effective error report ranking schemes mitigat