1112 search results - page 59 / 223 » Executing Abstract Test Cases |
106
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
GI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...
114
click to vote
JUCS
2008
15 years 2 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
133
click to vote
JISE
2008
15 years 2 months ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
151
click to vote
DIS
2008
Springer
15 years 4 months ago
2008
Springer
We propose a well-founded method of ranking a pool of m trained classifiers by their suitability for the current input of n instances. It can be used when dynamically selecting a s...