8398 search results - page 446 / 1680 » Optimal Software Testing |
179
click to vote
TAICPART
2006
IEEE
16 years 27 days 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...
180
click to vote
EUROMICRO
2005
IEEE
16 years 15 days 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...
181
click to vote
ICSM
2005
IEEE
16 years 14 days ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
219
click to vote
EUROMICRO
2003
IEEE
16 years 5 days 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. ...
199
click to vote
ICDCS
2003
IEEE
16 years 5 days ago
2003
IEEE
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...