Sciweavers

34 search results - page 1 / 7

» issta 2006

100

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

15 years 8 months ago

Testing, abstraction, theorem proving: better together!

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

77

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Modular verification of code with SAT

15 years 8 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 »

76

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

15 years 8 months ago

Dynamic inference of abstract types

Download www.stanford.edu

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

claim paper

Read More »

78

ISSTA
2006
ACM

97views Software Engineering» more ISSTA 2006»

Inference and enforcement of data structure consistency specifications

15 years 8 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 »

111

ISSTA
2006
ACM

134views Software Engineering» more ISSTA 2006»

Using model checking with symbolic execution to verify parallel numerical programs

15 years 8 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 »