6719 search results - page 983 / 1344 » A Generalization of Automatic Sequences |
200
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
240
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
208
click to vote
SIGSOFT
2006
ACM
16 years 8 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...
183
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
211
click to vote
ISBI
2004
IEEE
16 years 8 months ago
2004
IEEE
Independent Component Analysis is becoming a popular exploratory method for analysing complex data such as that from FMRI experiments. The application of such `model-free' me...