Sciweavers

1014 search results - page 19 / 203
» Testing Object Oriented Software
Sort
View
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
14 years 3 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
TOSEM
1998
64views more  TOSEM 1998»
13 years 9 months ago
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs
Huo Yan Chen, T. H. Tse, F. T. Chan, Tsong Yueh Ch...
ESEM
2007
ACM
14 years 1 months ago
How Software Designs Decay: A Pilot Study of Pattern Evolution
A common belief is that software designs decay as systems evolve. This research examines the extent to which software designs actually decay by studying the aging of design patter...
Clemente Izurieta, James M. Bieman