2774 search results - page 279 / 555 » Query-Driven Program Testing |
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
109
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...
130
click to vote
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Software architecture visualization tools tend to support browsing, that is, exploration by following concepts. If architectural diagrams are to be used during daily software main...
119
click to vote
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
151
Voted
FECS
2006
15 years 4 months ago
2006
In this paper, we discuss the advantages and disadvantages of using network simulators to teach networking concepts versus having students write programs. The authors have experie...