Abstract is missing.
- Automatic Requirement Extraction from Test CasesChristopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico. 1-15 [doi]
- Code Contracts for .NET: Runtime Verification and So Much MoreMike Barnett. 16-17 [doi]
- Visual Debugging for Stream Processing ApplicationsWim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby Sow. 18-35 [doi]
- Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?Matthew B. Dwyer, Rahul Purandare, Suzette Person. 36-50 [doi]
- Contracts for ScalaMartin Odersky. 51-57 [doi]
- Runtime Analysis and Instrumentation for Securing SoftwareR. Sekar. 58 [doi]
- Run-Time Verification of Networked SoftwareCyrille Valentin Artho. 59-73 [doi]
- Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial SupplementEric Bodden, Patrick Lam. 74-88 [doi]
- You Should Better Enforce Than VerifyYliès Falcone. 89-105 [doi]
- Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web ApplicationsSylvain Hallé, Roger Villemaire. 106-121 [doi]
- Statistical Model Checking: An OverviewAxel Legay, Benoît Delahaye, Saddek Bensalem. 122-135 [doi]
- Runtime Verification with the RV SystemPatrick O Neil Meredith, Grigore Rosu. 136-152 [doi]
- A Meta-Aspect Protocol for Developing Dynamic AnalysesMichael Achenbach, Klaus Ostermann. 153-167 [doi]
- Behavior Abstraction in Malware AnalysisPhilippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. 168-182 [doi]
- Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of TimeEric Bodden, Patrick Lam, Laurie J. Hendren. 183-197 [doi]
- Checking the Correspondence between UML Models and ImplementationSelim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit. 198-213 [doi]
- Compensation-Aware Runtime MonitoringChristian Colombo, Gordon J. Pace, Patrick Abela. 214-228 [doi]
- Recovery Tasks: An Automated Approach to Failure RecoveryBrian Demsky, Jin Zhou, William Montaz. 229-244 [doi]
- Formally Efficient Program InstrumentationBoris Feigin, Alan Mycroft. 245-252 [doi]
- Interval Analysis for Concurrent Trace Programs Using Transaction Sequence GraphsMalay K. Ganai, Chao Wang. 253-269 [doi]
- Causality Analysis in Contract ViolationGregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet. 270-284 [doi]
- Reducing Configurations to Monitor in a Software Product LineChang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid. 285-299 [doi]
- Runtime Instrumentation for Precise Flow-Sensitive Type AnalysisEtienne Kneuss, Philippe Suter, Viktor Kuncak. 300-314 [doi]
- Trace Recording for Embedded Systems: Lessons Learned from Five Industrial ProjectsJohan Kraft, Anders Wall, Holger M. Kienle. 315-329 [doi]
- Verification of an AFDX Infrastructure Using Simulations and ProbabilitiesAnanda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis. 330-344 [doi]
- Copilot: A Hard Real-Time Runtime MonitorLee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller. 345-359 [doi]
- StealthWorks: Emulating Memory ErrorsMusfiq Rahman, Bruce R. Childers, Sangyeun Cho. 360-367 [doi]
- Efficient Data Race Detection for Async-Finish ParallelismRaghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav. 368-383 [doi]
- Run-Time Verification of Optimistic ConcurrencyAli Sezgin, Serdar Tasiran, Kivanc Muslu, Shaz Qadeer. 384-398 [doi]
- Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper)Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel. 399-404 [doi]
- Aspect-Oriented Instrumentation with GCCJustin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok. 405-420 [doi]
- Runtime Verification for Software Transactional MemoriesVasu Singh. 421-435 [doi]
- Optimized temporal monitors for SystemCDeian Tabakov, Moshe Y. Vardi. 436-451 [doi]
- Runtime Verification of Stochastic, Faulty SystemsCristina M. Wilcox, Brian C. Williams. 452-459 [doi]
- Low-Overhead Bug Fingerprinting for Fast DebuggingCristian Zamfir, George Candea. 460-468 [doi]
- ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component SystemsDjihed Afifi, David E. Rydeheard, Howard Barringer. 469-474 [doi]
- A Tool Which Mines Partial Execution Traces to Improve Static AnalysisGianluca Amato, Maurizio Parton, Francesca Scozzari. 475-479 [doi]
- LarvaStat: Monitoring of Statistical PropertiesChristian Colombo, Andrew Gauci, Gordon J. Pace. 480-484 [doi]
- WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence ChartPengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li. 485-489 [doi]