Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma 0001, Mike Whalen. Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. In IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023. pages 79-89, IEEE, 2023. [doi]
Abstract is missing.