36320 search results - page 31 / 7264 » From Code to Models |
119
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
150
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
143
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
115
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
IEEECIT
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...