Moving Fast With Software Verification

·2015·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

171

Year

2015

PageRank

1.8 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

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