Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: A Tutorial on Runtime Verification
An overview of the MOP runtime verification framework
CASPER: Compiler-Assisted Securing of Programs at Runtime
a formal verification framework for static analysis .
Formal verification of higher-order probabilistic programs
Boogie: A modular reusable verifier for object-oriented programs
Network Verification in the Light of Program Verification
What's between simulation and formal verification? (extended abstract)
Run-time efficient probabilistic model checking
DRIVE: Dynamic Runtime Integrity Verification and Evaluation
Formal memory models for verifying C systems code
RuleBase: an industry-oriented formal verification tool
QBF-Based Formal Verification: Experience and Perspectives
Enhancing symbolic execution with veritesting
Automatic verification of probabilistic concurrent finite state programs
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
Combining symbolic execution with model checking to verify parallel numerical programs
CMC: a pragmatic approach to model checking real code
Shield Synthesis: Runtime Enforcement for Reactive Systems
Model-checking for real-time systems
Integrating formal verification in an online judge for e-Learning logic circuit design
JML: notations and tools supporting detailed design in Java
Issues in Mapping LOINC Laboratory Tests to SNOMED CT
An assessment of national surveillance systems for malaria elimination in the Asia Pacific
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable
Stable Marriage with Ties and Unacceptable Partners