Skip to main navigation
Skip to search
Skip to main content
Israeli Research Community Portal Home
Help & FAQ
Link opens in a new tab
Search content at Israeli Research Community Portal
Home
Profiles
Research units
Research output
QVM: An efficient runtime for detecting defects in deployed systems
Matthew Arnold
, Martin Vechev
,
Eran Yahav
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'QVM: An efficient runtime for detecting defects in deployed systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Virtual Machine
100%
Defect Detection
100%
Deployable Mechanism
100%
Continuous Monitoring
25%
Challenging Problems
12%
Safety Properties
12%
System Use
12%
Real-world Application
12%
Existing Techniques
12%
Overhead Costs
12%
Java
12%
Error Detection
12%
Production System
12%
Correctness Properties
12%
Debugging
12%
Runtime Environment
12%
Java Virtual Machine
12%
Software Defect
12%
Monitoring Process
12%
Production Environment
12%
Quality Check
12%
Usage Scenarios
12%
Typestate
12%
Computer Science
Virtual Machine
100%
World Application
12%
Error Detection
12%
Production System
12%
Runtime Environment
12%
Java Virtual Machine
12%
Continuous Monitoring
12%
Software Defect
12%
Process Monitoring
12%
Production Environment
12%