1109 search results - page 68 / 222 » Software verification for TinyOS |
126
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
116
click to vote
NJC
2006
15 years 1 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
216
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
207
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
141
click to vote
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...