799 search results - page 68 / 160 » Generating Reliable Code from Hybrid-Systems Models |
PROMISE
2010
13 years 4 months ago
2010
BACKGROUND: Defect predictors learned from static code measures can isolate code modules with a higher than usual probability of defects. AIMS: To improve those learners by focusi...
PTS
1993
13 years 11 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
32
Voted
VAMOS
2010
Springer
13 years 8 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
WCET
2008
13 years 11 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...