5159 search results - page 65 / 1032 » Structural Testing of Executables |
97
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
150
Voted
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...
138
click to vote
JSA
2000
15 years 2 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Structured embedded databases are currently becoming an integrated part of embedded systems, thus, enabling higher standards in system automation. These embedded databases are typ...
142
Voted
PTS
2000
15 years 3 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...