Path exploration based on symbolic output

MLA

Hoang D. T. Nguyen, et al. “Path Exploration Based on Symbolic Output.” Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, Sept. 2011. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....7db2b0d7a534841176c13d879cc8e1f9&authtype=sso&custid=ns315887.

APA

Hoang D. T. Nguyen, Dawei Qi, & Abhik Roychoudhury. (2011). Path exploration based on symbolic output. Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering.

Chicago

Hoang D. T. Nguyen, Dawei Qi, and Abhik Roychoudhury. 2011. “Path Exploration Based on Symbolic Output.” Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, September. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....7db2b0d7a534841176c13d879cc8e1f9&authtype=sso&custid=ns315887.