5159 search results - page 95 / 1032 » Structural Testing of Executables |
139
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
108
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
124
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
123
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
108
click to vote
TACAS
2010
Springer
15 years 13 days ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...