905 search results - page 35 / 181 » Code Generator Testing in Practice |
FMSD
2007
13 years 9 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
IFM
2005
Springer
14 years 3 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
SP
2008
IEEE
14 years 4 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
XPU
2007
Springer
14 years 4 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
ECEASST
2010
13 years 7 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...