1782 search results - page 178 / 357 » Tool Support for Proof Engineering |
168
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
136
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
160
click to vote
ISESE
2003
IEEE
15 years 11 months ago
2003
IEEE
Software inspections are a software engineering “best practice” for defect detection and rework reduction. In this paper, we describe an empirical evaluation with using a tool...
162
click to vote
INDIASE
2009
ACM
15 years 11 months ago
2009
ACM
With the rapid increase in offshore outsourcing of software development, Global Software Development (GSD) has become the need of the hour. Today’s information technology, in th...
159
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...