159 search results - page 4 / 32 » Detecting Missing Method Calls in Object-Oriented Software |
IWPC
2008
IEEE
14 years 1 months ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
FMOODS
2006
13 years 8 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
FMCO
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...