3547 search results - page 559 / 710 » Pseudo-Exhaustive Testing for Software |
167
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
177
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
176
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
161
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...
182
click to vote
ARCS
2009
Springer
16 years 1 months ago
2009
Springer
Resource management has been an area of research in ad hoc grids for many years. Recently, different research projects have focused resource management in centralized, decentralize...