5159 search results - page 175 / 1032 » Structural Testing of Executables |
179
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
212
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
268
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
172
click to vote
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
192
click to vote
JAIR
2010
15 years 5 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...