Sciweavers

481 search results - page 11 / 97

» Differential symbolic execution

75

HVC
2007
Springer

109views Hardware» more HVC 2007»

Symbolic Execution and Model Checking for Testing

15 years 4 months ago

Symbolic Execution and Model Checking for Testing

Download ti.arc.nasa.gov

Corina S. Pasareanu, Willem Visser

claim paper

Read More »

60

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

15 years 3 months ago

Constraint Solving and Symbolic Execution

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

42

ICCAD
1997
IEEE

75views Hardware» more ICCAD 1997»

Scheduling and binding bounds for RT-level symbolic execution

15 years 2 months ago

Scheduling and binding bounds for RT-level symbolic execution

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

86

ASIAN
1997
Springer

81views Algorithms» more ASIAN 1997»

Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation

15 years 1 months ago

Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation

Download www.cs.cmu.edu

Randal E. Bryant, Miroslav N. Velev

claim paper

Read More »

61

Voted

GLVLSI
1995
IEEE

104views VLSI» more GLVLSI 1995»

Symbolic execution of data paths

15 years 1 months ago

Symbolic execution of data paths

Download bears.ece.ucsb.edu

Chuck Monahan, Forrest Brewer

claim paper

Read More »

« Prev « First page 11 / 97 Last » Next »