Abstract: Symbolic execution can automatically generate test input values that cover the execution paths of programs. It enables us to test functions of even huge COBOL legacy programs, but the ...
Abstract: A test program was undertaken to understand the changes and degradation of the space solar array panel components in their integrated form after multiple years (up to 15) of simulated Earth ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results