[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

[ACM Press the 12th ACM SIGSOFT twelfth

✍ 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

[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 - Testing static analysis tools using exploitable buffer overflows from open source code

✍ Zitser, Misha; Lippmann, Richard; Leek, Tim 📂 Article 📅 2004 🏛 ACM Press ⚖ 275 KB

[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 - Modular design and verification of component-based mechatronic systems with online-reconfiguration

✍ Giese, Holger; Burmester, Sven; Sch�fer, Wilhelm; Oberschelp, Oliver 📂 Article 📅 2004 🏛 ACM Press ⚖ 439 KB

[ACM Press the 14th ACM SIGSOFT internat

[ACM Press the 14th ACM SIGSOFT international symposium - Portland, Oregon, USA (2006.11.05-2006.11.11)] Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14 - Using task context to improve programmer productivity

✍ Kersten, Mik; Murphy, Gail C. 📂 Article 📅 2006 🏛 ACM Press ⚖ 500 KB

[ACM Press the ACM SIGSOFT 20th Internat

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - An industrial study on the risk of software changes

✍ Shihab, Emad; Hassan, Ahmed E.; Adams, Bram; Jiang, Zhen Ming 📂 Article 📅 2012 🏛 ACM Press ⚖ 700 KB

[ACM Press the ACM SIGSOFT 20th Internat

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - An industrial study on the risk of software changes

✍ Shihab, Emad; Hassan, Ahmed E.; Adams, Bram; Jiang, Zhen Ming 📂 Article 📅 2012 🏛 ACM Press ⚖ 700 KB