4079 search results - page 353 / 816 » Differential Testing for Software |
127
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
136
click to vote
TAICPART
2006
IEEE
15 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
150
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
141
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
181
Voted
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
Small companies in the software product business risk rework and market failure due to shortcomings in integrating a strategic perspective into management of product development. ...