Publication Textual allusions to artifacts in software-related repositories Gina Venolia MSR ’06: Proceedings of the 2006 international workshop on Mining software repositories | January 2006 ISBN: 1-59593-397-2
Publication Multi-Attribute Coalitional Games Samuel Ieong, Yoav Shoham Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006
Publication Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution Donald Syme, Don Syme Proceedings of the 2006 workshop on ML | January 2006 Project
Publication Automatic Property Checking for Software: Past, Present and Future Sriram Rajamani Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006 Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)
Publication Online Testing with Reinforcement Learning Margus Veanes, Pritam Roy, Colin Campbell Formal Approaches to Software Testing and Runtime Verification, FATES/RV 2006 | January 2006
Publication A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs Wolfram Schulte ICFEM | January 2006 ISBN: 3-540-47460-9 Project
Publication Allowing State Changes in Specifications Mike Barnett, David A. Naumann, Wolfram Schulte, Qi Sun ETRICS | January 2006 ISBN: 3-540-34640-6
Publication Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella-Béguelin 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005 | January 2006 2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005
Publication Explaining Failures Using Software Dependences and Churn Metrics Nachi Nagappan, Thomas Ball MSR-TR-2006-03 | January 2006 Project
Publication The Curse of Highly Variable Functions for Local Kernel Machines Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux Advances in Neural Information Processing Systems 18 | January 2006
