TOSEM 2008 | Sciweavers

e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...

Panagiotis Louridas, Diomidis Spinellis, Vasileios...

claim paper

Read More »

11

click to vote

TOSEM
2008

73views more TOSEM 2008»

An upper bound on software testing effectiveness

13 years 4 months ago

Download www.cs.umd.edu

Tsong Yueh Chen, Robert G. Merkel

claim paper

Read More »

7

click to vote

TOSEM
2008

61views more TOSEM 2008»

An empirical investigation of software reuse benefits in a large telecom product

13 years 4 months ago

Download www.idi.ntnu.no

Parastoo Mohagheghi, Reidar Conradi

claim paper

Read More »

18

click to vote

TOSEM
2008

168views more TOSEM 2008»

Developing and debugging algebraic specifications for Java classes

13 years 4 months ago

Download www.cs.colorado.edu

Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...

Johannes Henkel, Christoph Reichenbach, Amer Diwan

claim paper

Read More »

14

click to vote

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

13 years 4 months ago

Download laser.cs.umass.edu

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

claim paper