1719 search results - page 152 / 344 » Software Re-Documentation Process and Tool |
153
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
138
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: One of the crucial aspects of day-to-day laboratory information management is collection, storage and retrieval of information about research subjects and biomedical s...
147
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
160
click to vote
TAPOS
1998
15 years 3 months ago
1998
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
137
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...