6 search results - page 1 / 2 » Incremental Inference of Black-Box Components to Support Int... |
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
ISOLA
2007
Springer
14 years 1 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 9 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
14 years 21 days 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
14 years 1 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...