50 search results - page 6 / 10 » kbse 2007 |
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. While using CodeGenie developers design...