2774 search results - page 137 / 555 » Query-Driven Program Testing |
111
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
87
Voted
ICECCS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
109
click to vote
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
132
Voted
DAM
2007
15 years 2 months ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...
125
Voted
AIR
2005
15 years 2 months ago
2005
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...