| 2010 | A Meta-Aspect Protocol for Developing Dynamic Analyses. Michael Achenbach, Klaus Ostermann |
| 2010 | A Tool Which Mines Partial Execution Traces to Improve Static Analysis. Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2010 | Aspect-Oriented Instrumentation with GCC. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2010 | Automatic Requirement Extraction from Test Cases. Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
| 2010 | Behavior Abstraction in Malware Analysis. Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion |
| 2010 | Causality Analysis in Contract Violation. Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet |
| 2010 | Checking the Correspondence between UML Models and Implementation. Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
| 2010 | Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. Eric Bodden, Patrick Lam, Laurie J. Hendren |
| 2010 | Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. Eric Bodden, Patrick Lam |
| 2010 | Code Contracts for .NET: Runtime Verification and So Much More. Mike Barnett |
| 2010 | Compensation-Aware Runtime Monitoring. Christian Colombo, Gordon J. Pace, Patrick Abela |
| 2010 | Contracts for Scala. Martin Odersky |
| 2010 | Copilot: A Hard Real-Time Runtime Monitor. Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller |
| 2010 | ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2010 | Efficient Data Race Detection for Async-Finish Parallelism. Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2010 | Formally Efficient Program Instrumentation. Boris Feigin, Alan Mycroft |
| 2010 | Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. Malay K. Ganai, Chao Wang |
| 2010 | LarvaStat: Monitoring of Statistical Properties. Christian Colombo, Andrew Gauci, Gordon J. Pace |
| 2010 | Low-Overhead Bug Fingerprinting for Fast Debugging. Cristian Zamfir, George Candea |
| 2010 | Optimized temporal monitors for SystemC. Deian Tabakov, Moshe Y. Vardi |
| 2010 | Recovery Tasks: An Automated Approach to Failure Recovery. Brian Demsky, Jin Zhou, William Montaz |
| 2010 | Reducing Configurations to Monitor in a Software Product Line. Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid |
| 2010 | Run-Time Verification of Networked Software. Cyrille Valentin Artho |
| 2010 | Run-Time Verification of Optimistic Concurrency. Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer |
| 2010 | Runtime Analysis and Instrumentation for Securing Software. R. Sekar |
| 2010 | Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. Etienne Kneuss, Philippe Suter, Viktor Kuncak |
| 2010 | Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann |
| 2010 | Runtime Verification for Software Transactional Memories. Vasu Singh |
| 2010 | Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. Sylvain Hallé, Roger Villemaire |
| 2010 | Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? Matthew B. Dwyer, Rahul Purandare, Suzette Person |
| 2010 | Runtime Verification of Stochastic, Faulty Systems. Cristina M. Wilcox, Brian C. Williams |
| 2010 | Runtime Verification with the RV System. Patrick O'Neil Meredith, Grigore Rosu |
| 2010 | Statistical Model Checking: An Overview. Axel Legay, Benoît Delahaye, Saddek Bensalem |
| 2010 | StealthWorks: Emulating Memory Errors. Musfiq Rahman, Bruce R. Childers, Sangyeun Cho |
| 2010 | Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects. Johan Kraft, Anders Wall, Holger M. Kienle |
| 2010 | Verification of an AFDX Infrastructure Using Simulations and Probabilities. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | Visual Debugging for Stream Processing Applications. Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby M. Sow |
| 2010 | WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li |
| 2010 | Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel |
| 2010 | You Should Better Enforce Than Verify. Yliès Falcone |