公開日 DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth TAP’10 | July 2010 プロジェクト プロジェクト
公開日 A Flexible Semantic Framework for Effects Ross Tate, Daan Leijen, Sorin Lerner July 2010 Unpublished.
公開日 Intelligent Selection of Language Model Training Data Robert C. Moore, Will Lewis Proceedings of the ACL 2010 Conference Short Papers | July 2010
公開日 Evidential Authorization Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman The Future of Software Engineering | Springer による投稿 | 2010
公開日 Moles: tool-assisted environment isolation with closures Jonathan "Peli" de Halleux, Nikolai Tillmann TOOLS’10 | July 2010 プロジェクト プロジェクト プロジェクト
公開日 Learning Component Interfaces with May and Must Abstractions Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareaunu 22nd International Conference on Computer Aided Verification (CAV 2010) | July 2010
公開日 Quantitative Simulation Games Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna Time for Verification: Essays in Memory of Amir Pnueli | July 2010 プロジェクト
公開日 Model Checking of Linearizability of Concurrent List Implementations Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur Computer Aided Verification (CAV) | July 2010
公開日 Modeling Imperative String Operations with Transducers Pieter Hooimeijer, David Molnar, Prateek Saxena, Margus Veanes MSR-TR-2010-96 | July 2010