5159 search results - page 363 / 1032 » Structural Testing of Executables |
196
click to vote
MSE
2002
IEEE
16 years 10 days ago
2002
IEEE
In this paper we describe an authoring environment which allows the author to set up and test a complex multimedia presentation by defining the synchronization relationships amon...
157
click to vote
CCS
2001
ACM
15 years 12 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
183
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
The UML 2 Activity Diagram is designed for modelling business processes, but does not yet include any concepts for modelling process goals and their measures. We extend the UML 2 A...
203
click to vote
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
185
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper describes requirements for synthetic adversaries for urban combat training and MOUTBots, a prototype application. The MOUTBots use a commercial computer game to define,...