984 search results - page 61 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
121
Voted
ENTCS
2007
15 years 3 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
117
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
99
Voted
ESWA
2008
15 years 3 months ago
2008
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
155
Voted
IDA
1999
Springer
15 years 7 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
155
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...