6 search results - page 1 / 2 » Incremental Inference of Black-Box Components to Support Int... |
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
ISOLA
2007
Springer
13 years 11 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
DIMVA
2010
13 years 6 months ago
2010
Black-box web vulnerability scanners are a class of tools that can be used to identify security issues in web applications. These tools are often marketed as "point-and-click ...
SAC
2003
ACM
13 years 10 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...