Runtime Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642046933, 9783642046940
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

2009 ◽  
pp. 101-114 ◽  
Author(s):  
Bohuslav Křena ◽  
Zdeněk Letko ◽  
Yarden Nir-Buchbinder ◽  
Rachel Tzoref-Brill ◽  
Shmuel Ur ◽  
...  
Keyword(s):  
Dynamic Analysis ◽  
Testing Tool ◽  
Concurrency Testing

scholarly journals The LIME Interface Specification Language and Runtime Monitoring Tool

2009 ◽  
pp. 93-100 ◽  
Author(s):  
Kari Kähkönen ◽  
Jani Lampinen ◽  
Keijo Heljanko ◽  
Ilkka Niemelä
Keyword(s):  
Specification Language ◽  
Runtime Monitoring ◽  
Monitoring Tool ◽  
Interface Specification

scholarly journals Runtime Verification of C Memory Safety

2009 ◽  
pp. 132-151 ◽  
Author(s):  
Grigore Roşu ◽  
Wolfram Schulte ◽  
Traian Florin Şerbănuţă
Keyword(s):  
Runtime Verification ◽  
Memory Safety

scholarly journals DMaC: Distributed Monitoring and Checking

2009 ◽  
pp. 184-201 ◽  
Author(s):  
Wenchao Zhou ◽  
Oleg Sokolsky ◽  
Boon Thau Loo ◽  
Insup Lee
Keyword(s):  
Distributed Monitoring

scholarly journals Rule Systems for Runtime Verification: A Short Tutorial

2009 ◽  
pp. 1-24 ◽  
Author(s):  
Howard Barringer ◽  
Klaus Havelund ◽  
David Rydeheard ◽  
Alex Groce
Keyword(s):  
Runtime Verification ◽  
Rule Systems

State Joining and Splitting for the Symbolic Execution of Binaries

2009 ◽  
pp. 76-92 ◽  
Author(s):  
Trevor Hansen ◽  
Peter Schachte ◽  
Harald Søndergaard
Keyword(s):  
Symbolic Execution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document