Sciweavers

15811 search results - page 90 / 3163
» Search-based software engineering
Sort
View
85
Voted
SEFM
2008
IEEE
15 years 7 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
97
Voted
SEFM
2008
IEEE
15 years 7 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf
87
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
Sri Hari Krishna Narayanan, Mahmut T. Kandemir
60
Voted
AGILEDC
2007
IEEE
15 years 7 months ago
Experience Report 'Offshore XP for PDA development'
Sergei Andrzeevski
93
Voted
AGILEDC
2007
IEEE
15 years 7 months ago
Less, Never More: Launching a Product with Critical Features and Nothing More
Scott A. Gatz, Gabrielle Benefield