LARVA --- Safer Monitoring Of Real-Time Java Programs (Tool Paper)

·2009·DOI

Engineering and Technology

Communication and Signal Processing

Software Engineering and Practices

Software Merging Techniques

Role in the Field

Neutralin Engineering and Technology

Neutralin Communication and Signal Processing

Neutralin Software Engineering and Practices

Neutralin Software Merging Techniques

Abstract

Citations

102

Year

2009

PageRank

1.8 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Moving Fast With Software Verification

·2015·171 citations

Oracle-guided Component-Based Program Synthesis

·2010·318 citations

Fast Byte-Granularity Software Fault Isolation

·2009·115 citations

A Comparative Study Of Industrial Static Analysis Tools

·2008·136 citations

Refinement-based Context-Sensitive Points-To Analysis For Java

·2006·203 citations

Hipikat: A Project Memory For Software Development

·2005·230 citations

Adding Trace Matching With Free Variables To AspectJ

·2005·215 citations

Weighted Pushdown Systems And Their Application To Interprocedural Dataflow Analysis

·2005·152 citations

Demand-driven Points-To Analysis For Java

·2005·143 citations

A State-Of-The-Art Survey On Software Merging

·2002·350 citations

The Soft Error Problem: An Architectural Perspective

·0·270 citations