1109 search results - page 134 / 222 » Software verification for TinyOS |
126
click to vote
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
147
click to vote
ESEM
2008
ACM
15 years 6 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
129
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
171
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
169
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...