1109 search results - page 97 / 222 » Software verification for TinyOS |
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Software testing efforts account for a large part of the software development costs. We still struggle, however, to properly prepare students to perform software testing activitie...
104
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
108
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
144
click to vote
DB
2008
15 years 1 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...