6348 search results - page 867 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
202
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
164
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Fault localization helps spotting faults in source code by exploiting automatically collected data. Deviating from other fault locators relying on hit spectra or test coverage inf...
190
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
173
click to vote
ADAEUROPE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
162
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...