Astpaper
S. Hussein, S. McCamant, E. Sherman, V. Sharma, M. Whalen. Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution, International Conference on Automation of Software Test. Accepted to AST’23
S. Hussein, S. McCamant, E. Sherman, V. Sharma, M. Whalen. Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution, International Conference on Automation of Software Test. Accepted to AST’23