38 search results - page 7 / 8 » Test-Suite Augmentation for Evolving Software |
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
115
Voted
WCRE
2008
IEEE
15 years 3 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
MSS
1999
IEEE
15 years 1 months ago
1999
IEEE
The supercomputer center, digital library, and archival storage communities have common persistent archival storage requirements. Each of these communities is building software in...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
The NASA/DARPA Robonaut system is evolving from a purely teleoperator controlled anthropomorphic robot towards a humanoid system with multiple control pathways. Robonaut is a huma...