1890 search results - page 272 / 378 » Model-Based Testing in Practice |
113
click to vote
METRICS
2005
IEEE
15 years 7 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
103
click to vote
IMC
2005
ACM
15 years 7 months ago
2005
ACM
By providing the best-effort service, the Internet Protocol (IP) does not maintain the same order of packets sent out by a host. Therefore, due to the route change, parallelism in...
103
click to vote
ITICSE
2005
ACM
15 years 7 months ago
2005
ACM
Many projects currently used in Software Engineering curricula lack both the “fun factor” needed to engage students, as well as the practical realism of engineering projects t...
107
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...