7103 search results - page 1208 / 1421 » Program Generation and Components |
121
click to vote
APSEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
103
click to vote
ICDS
2009
IEEE
15 years 10 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
95
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
107
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
148
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...