Jason Beres COO of Infragistics spearheads the customer-driven, innovative features and functionality throughout all Infragistics' software, including testing, development, and user experience. Jason ...
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