1014 search results - page 55 / 203 » Testing Object Oriented Software |
FATES
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
INFSOF
2008
13 years 10 months ago
2008
Aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainabili...
CODES
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
ECOOPW
2004
Springer
14 years 3 months ago
2004
Springer
This paper reports on the results of the Fifth International Workshop on Object-Oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies t...