112 search results - page 19 / 23 » Software Defect Detection with Rocus |
145
Voted
ICST
2010
IEEE
15 years 22 days ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
127
Voted
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Battery Exhaustion Attack is a “denial of service” attack on mobile devices, causing more battery discharge than normally necessary. The excessive discharge arises out of the ...
122
Voted
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
115
Voted
CAD
2004
Springer
15 years 2 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and by numerical errors in the model building software...
120
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...