126 search results - page 14 / 26 » Specifying and Generating Test Cases Using Observer Automata |
158
click to vote
CORR
2009
Springer
15 years 7 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
110
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
121
click to vote
ESTIMEDIA
2003
Springer
15 years 7 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
124
click to vote
SEW
2007
IEEE
15 years 8 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
113
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...