Search Sciweavers | Sciweavers

481 search results - page 12 / 97

» Differential symbolic execution

126

click to vote

FMCO
2008
Springer

120views Formal Methods» more FMCO 2008»

Abstract Interpretation of Symbolic Execution with Explicit State Updates

15 years 7 months ago

Download www.cse.chalmers.se

Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...

claim paper

Read More »

125

click to vote

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

15 years 6 months ago

Download laser.cs.umass.edu

Stephen F. Siegel, Anastasia Mironova, George S. A...

claim paper

Read More »

119

click to vote

LOGCOM
2002

52views more LOGCOM 2002»

Verifying Concurrent Systems with Symbolic Execution

15 years 5 months ago

Download deposit.ddb.de

Michael Balser, Christoph Duelli, Wolfgang Reif, G...

claim paper

Read More »

152

click to vote

SENSYS
2010
ACM

147views Sensor Networks» more SENSYS 2010»

Integrating symbolic execution with sensornet simulation for efficient bug finding

15 years 4 months ago

Download www.comsys.rwth-aachen.de

Fredrik Österlind, Adam Dunkels, Raimondas Sa...

claim paper

Read More »

137

click to vote

FORTE
2009

135views Formal Methods» more FORTE 2009»

Dynamic Symbolic Execution of Distributed Concurrent Objects

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers