Sciweavers

34 search results - page 1 / 7

» issta 2006

13

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

13 years 10 months ago

Testing, abstraction, theorem proving: better together!

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

7

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Modular verification of code with SAT

13 years 10 months ago

Modular verification of code with SAT

Download sdg.csail.mit.edu

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson

claim paper

Read More »

9

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

13 years 10 months ago

Dynamic inference of abstract types

Download www.stanford.edu

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...

claim paper

Read More »

9

ISSTA
2006
ACM

97views Software Engineering» more ISSTA 2006»

Inference and enforcement of data structure consistency specifications

13 years 10 months ago

Inference and enforcement of data structure consistency specifications

Download www.stanford.edu

Brian Demsky, Michael D. Ernst, Philip J. Guo, Ste...

claim paper

Read More »

13

ISSTA
2006
ACM

134views Software Engineering» more ISSTA 2006»

Using model checking with symbolic execution to verify parallel numerical programs

13 years 10 months ago

Using model checking with symbolic execution to verify parallel numerical programs

Download ext.math.umass.edu

We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving ﬂoating-point arithmetic. The me...

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

claim paper

Read More »

« Prev « First page 1 / 7 Last » Next »