1109 search results - page 38 / 222 » Software verification for TinyOS |
CBSE
2007
Springer
15 years 7 months ago
2007
Springer
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
111
click to vote
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
101
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...