Sciweavers

TOSEM
2008
60views more  TOSEM 2008»
13 years 6 months ago
Semantic parameterization: A process for modeling domain descriptions
Travis D. Breaux, Annie I. Antón, Jon Doyle
TOSEM
2008
117views more  TOSEM 2008»
13 years 6 months ago
Power laws in software
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...
TOSEM
2008
73views more  TOSEM 2008»
13 years 6 months ago
An upper bound on software testing effectiveness
Tsong Yueh Chen, Robert G. Merkel
TOSEM
2008
168views more  TOSEM 2008»
13 years 6 months ago
Developing and debugging algebraic specifications for Java classes
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
TOSEM
2008
91views more  TOSEM 2008»
13 years 6 months ago
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. A...
TOSEM
2008
75views more  TOSEM 2008»
13 years 6 months ago
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...