8627 search results - page 261 / 1726 » Software Engineering Using RATionale |
173
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
143
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
157
click to vote
RISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
166
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
215
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...