117 search results - page 9 / 24 » Efficient Systematic Testing for Dynamically Updatable Softw... |
ANSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
EVOW
2006
Springer
13 years 11 months ago
2006
Springer
In recent years dynamic optimization problems have attracted a growing interest from the community of genetic algorithms with several approaches developed to address these problems...