251 search results - page 37 / 51 » A Nationwide Program for Software Process Improvement in Bra... |
218
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
105
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management (DMM); however, it is a challeng...
108
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
99
Voted
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
109
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...