1109 search results - page 109 / 222 » Software verification for TinyOS |
145
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
159
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
151
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
127
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
152
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Regression testing is the verification that previously functioning software remains after a change. In this paper we report on a systematic review of empirical evaluations of regr...