3424 search results - page 479 / 685 » Automated Testing of Classes |
161
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Code smells are design flaws in object-oriented designs that may lead to maintainability issues in the further evolution of the software system. This study focuses on the evolutio...
135
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
131
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
125
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
132
click to vote
ANSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...