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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results