# An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
## 4 Detection Methodology
### Avoid Duplicated Feasible Paths
488-498. [CrossRef]
* [PERSON] et al. (2011) [PERSON]; [PERSON]; [PERSON]; [PERSON] Parallel symbolic execution for automated real-world software testing. In Proceedings of the Sixth Conference on Computer Systems, Salzburg, Austria, 10-13 April 2011; pp. 183-198. [CrossRef]
* [PERSON] et al. (2012) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] GKLEE: Concolic verification and test generation for GPUs. In Proceedings of the 17 th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, New Orleans, LA, USA, 25-29 February 2012; pp. 215-224. [CrossRef]
* [PERSON] et al. (2010) [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON]; [PERSON] [PERSON] KleeNet: Discovering insidious interaction bugs in wireless sensor networks before deployment. In Proceedings of the 9 th ACM/IEEE International Conference on Information Processing in Sensor Networks, Stockholm, Sweden, 12-16 April 2010; pp. 186-196. [CrossRef]
* [PERSON] et al. (2011) [PERSON]; [PERSON]; [PERSON], [PERSON] KLOVER: A symbolic execution and automatic test generation tool for C++ programs. In _International Conference on Computer Aided Verification_; Springer: Berlin/Heidelberg, Germany, 2011; pp. 609-615. [CrossRef]
* [PERSON] et al. (1991) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Efficiently computing static single assignment form and the control dependence graph. _ACM Trans. Program. Lang. Syst. (TOPLAS)_**1991**, _13_, 451-490. [CrossRef]* [PERSON] and [PERSON] (2014) [PERSON]; [PERSON] Automatic handling of native methods in Java PathFinder. In Proceedings of the 2014 International SPIN Symposium on Model Checking of Software, San Jose, CA, USA, 21-23 July 2014; pp. 97-100. [CrossRef]
* [PERSON] et al. (2016) [PERSON]; [PERSON]; [PERSON] A method for automated unit testing of C programs. In Proceedings of the 2016 3 rd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS), Hanoi, Vietnam, 14-16 September 2016; pp. 17-22. [CrossRef]
* [PERSON] and [PERSON] (1979) [PERSON]; [PERSON] Simplification by cooperating decision procedures. _ACM Trans. Program. Lang. Syst. (TOPLAS)_**1979**, \(1\), 245-257. [CrossRef]
* [PERSON] and [PERSON] (2008) [PERSON]; [PERSON] Z3: An efficient SMT solver. In _International Conference on Tools and Algorithms for the Construction and Analysis of Systems_; Springer: Berlin/Heidelberg, Germany, 2008; pp. 337-340. [CrossRef]
* [PERSON] (2017) [PERSON] Test Coverage of Systems with Continuous Dynamics. Master's Thesis, Chalmers University of Technology, Gothenburg, Sweden, 2017. * [PERSON] (2020) [PERSON] PHP-Parser. Available online: [[https://github.com/nikic/PHP-Parser](https://github.com/nikic/PHP-Parser)]([https://github.com/nikic/PHP-Parser](https://github.com/nikic/PHP-Parser)) (accessed on 29 August 2020). * [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON] Tapir: Embedding recursive fork-join parallelism into LLVM's intermediate representation. _ACM Trans. Parallel Comput. (TOPC)_**2019**, \(6\), 1-33. [CrossRef]
* PHP (2020) PHP. Superglobals. Available online: [[https://www.php.net/manual/en/language.variables.superglobals.php](https://www.php.net/manual/en/language.variables.superglobals.php)]([https://www.php.net/manual/en/language.variables.superglobals.php](https://www.php.net/manual/en/language.variables.superglobals.php)) (accessed on 15 July 2020). * [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON]; [PERSON] Reasoning about connectors using Coq and Z3. _Sci. Comput. Program._**2019**, _170_, 27-44. [CrossRef]
* [PERSON] and [PERSON] (1985) [PERSON]; [PERSON] Selecting software test data using data flow information. _IEEE Trans. Softw. Eng._**1985**, _SE-11_, 367-375. [CrossRef]
* [PERSON] and [PERSON] (2014) [PERSON]; [PERSON]; [PERSON] Dynamic stopping criteria for search-based test data generation for path testing. _Inf. Softw. Technol._**2014**, _56_, 395-407. [CrossRef]
* [PERSON] (2015) [PERSON] Path Testing Using Genetic Algorithm.