64 search results - page 7 / 13 » Automated Model-Based Generation of Ravenscar-Compliant Sour... |
UML
2000
Springer
13 years 10 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
CSMR
2004
IEEE
13 years 10 months ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
CCS
2007
ACM
14 years 27 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
SPLC
2010
13 years 8 months ago
2010
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...