279 search results - page 15 / 56 » Testing for Refinement in CSP |
145
click to vote
GI
2009
Springer
15 years 12 days ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
122
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
115
Voted
PTS
2008
15 years 4 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
154
Voted
FLAIRS
2009
15 years 12 days ago
2009
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
106
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...