1. [n.d.]. JavaScan. https://www.javascan.com/chapter/data-structures [n.d.]. JavaScan. https://www.javascan.com/chapter/data-structures
2. [n.d.]. Software-artifact Infrastructure Repository. https://sir.csc.ncsu.edu/portal/index.php [n.d.]. Software-artifact Infrastructure Repository. https://sir.csc.ncsu.edu/portal/index.php
3. [n.d.]. SUSHI Experiments. https://github.com/pietrobraione/sushi-experiments [n.d.]. SUSHI Experiments. https://github.com/pietrobraione/sushi-experiments
4. jPET: An Automatic Test-Case Generator for Java
5. Roberto Baldoni , Emilio Coppa , Daniele Cono D’Elia , Camil Demetrescu , and Irene Finocchi . 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51, 3 ( 2018 ), 50:1–50:39. https://doi.org/10.1145/3182657 10.1145/3182657 Roberto Baldoni, Emilio Coppa, Daniele Cono D’Elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51, 3 (2018), 50:1–50:39. https://doi.org/10.1145/3182657