论文与出版物 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