| Citation: | Lin Mengxiang, Chen Yinli, Chen Rui, et al. Lazy-substitution based symbolic execution for C programs[J]. Journal of Beijing University of Aeronautics and Astronautics, 2009, 35(6): 687-691. (in Chinese)
|
|
[1] King J C. Symbolic execution and program testing [J]. Commun ACM,1976,19(7):385-394 [2] Godefroid P, Klarlund N, Sen K. DART: Directed automated random testing ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI-05). New York:ACM,2005:213-223 [3] Godefroid P. Compositional dynamic test generation 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-07). New York: ACM, 2007:47-54 [4] Coen-Porisini A, Denaro G, Ghezzi C, et al. Using symbolic execution for verifying safety-critical systems 8th European Software Engineering Conference. New York: ACM, 2001:142-151 [5] 单锦辉, 王戟, 齐治昌. 面向路径的测试数据自动生成方法述评[J]. 电子学报, 2004, 32(1):109-113 Shan Jinhui, Wang Ji, Qi Zhichang. Survey on path-wise automatic generation of test data[J]. Acta Electronica Sinica,2004,32(1):109-113(in Chinese) [6] Boyer R S, Elspas B, Levitt K N. SELECT-a formal system for testing and debugging programs by symbolic execution Proceeding of the International Conference on Reliable Software. New York: ACM, 1975:234-245 [7] Clarke L A. A system to generate test data and symbolically execute programs [J]. IEEE Transactions Software Engineering, 1976, SE-2(3):215-222 [8] Ramamoorthy C V, Ho S B, Chen W T. On the automated generation of program test data [J]. IEEE Transactions on Software Engineering, 1976, SE-2(4):293-300 [9] Zhang Jian, Wang Xiaoxu. A constraint solver and its application to path feasibility analysis [J]. International Journal of Software Engineering and Knowledge Engineering,2001,11(2):139-156 [10] Zhang Jian. Symbolic execution of program paths involving pointer and structure variables Proc of the Fourth Int Conf on Quality Software (QSIC-04). Los Alamitos: IEEE Computer Society, 2004:87-92 [11] Khurshid S, Pasareanu C, Visser W. Generalized symbolic execution for model checking and testing Tools and Algorithms for Construction and Analysis of Systems (TACAS’03). Heidelberg: Springer, 2003:553-568 [12] Coward P D. Symbolic execution and testing [J]. Information and Software Technology,1991,33(1):53-64
|
| [1] | YANG Z Y，WU J，LI L T. Dynamic analysis method of single ion channel neuron circuit[J]. Journal of Beijing University of Aeronautics and Astronautics，2025，51（3）：985-991 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2023.0144. |
| [2] | CUI Zhen, ZHAO Zhigang, SU Cheng, MENG Jiadong, ZHAO Xiangtang, CHAI Wei. Dynamics and Dynamic Stability Analysis of Rope Traction Upper Limb Rehabilitation Robot[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0827 |
| [3] | DUAN Leqiang, LI Lei, WANG Weijie, ZHU Hongye, PANG Weikun, REN Yuan. Dynamics Modeling and Active disturbance rejection control of Magnetically Suspended Universally Stabilized Platform[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0065 |
| [4] | LI C Q，ZHAN Y Q，WANG Z M，et al. Numerical simulation of iliac vein compression syndrome in hemodynamics[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（8）：2646-2654 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0693. |
| [5] | XING Z W，KAN B，ZHU S J，et al. A dynamic model of arriving passengers based on dual value driving[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（12）：3645-3653 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.1019. |
| [6] | LI Wei, ZHAO Zhigang, ZHAO Xiangtang, LI Zixuan, GANG Zheng. Workspace stability evaluation of multi-engine suspension system based on EWM -TOPSIS[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0546 |
| [7] | YANG Hai-feng, LI Zhi-gang, TAN Yue-dong, XIAO Peng-hui, KONG Wei. Development of Ejection Seat-Dummy Model and Analysis of Seat Tip-off Stability[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0654 |
| [8] | GAN W B，ZUO Z J，XIANG J W，et al. Research progress on dynamic stability of rotating variant wing opening and closing process for aircraft[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（4）：1053-1064 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0469. |
| [9] | WANG Y P，WANG Y，WU X J，et al. Surface dynamical environment analysis of a binary asteroid system[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（3）：940-950 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0286. |
| [10] | WANG Weijie, GUO Dinghun, LI Xiangyu, GENG Yixuan, QUAN Long. Typical Fault Mechanism Modeling and Simulation of Insulin Pump Sets[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0394 |
| [11] | CHEN G，SUN X，LI G X，et al. Analysis and improvement of lateral instability of quasi-biconical lifting reentry spacecraft[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（9）：2800-2809 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0708. |
| [12] | ZHAO M，JIA H，WU S Q，et al. Mechanical characteristics of flexible connection technology for Mars parachute[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（12）：3815-3824 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0932. |
| [13] | XIAO L F，ZHOU L W，LI X D. Numerical simulation of deformed airfoil modal after blast shock wave[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（1）：341-349 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0244. |
| [14] | WU X J，HAN X R，WU X L，et al. Prescribed performance control for quadrotor UAV with unknown kinetic parameters[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（10）：2587-2595 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0714. |
| [15] | SHI Y，WAN Z Q，WU Z G，et al. Aerodynamic order reduction method for elastic aircraft flight dynamics simulation[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（7）：1689-1706 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0510. |
| [16] | SHAO L，PENG Y，LU X，et al. Optimization method for inlet and outlet of irregular fuel tank inerting system[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（10）：2628-2634 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0768. |
| [17] | GAO T F，KONG L G，SU B，et al. Design and simulation of detector for outer heliosphere pickup ions[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（2）：367-377 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0243. |
| [18] | PENG Cheng, SUN Liguo, WANG Yanyang, TAN Wenqian, XIAO Feng. Control oriented longitudinal modeling and analysis of pigeon-like flapping-wing aircraft[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(12): 2510-2519. doi: 10.13700/j.bh.1001-5965.2021.0130 |
| [19] | WU Tailong, WANG Yue. Orbital dynamics of rings of small bodies[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(7): 1287-1296. doi: 10.13700/j.bh.1001-5965.2021.0003 |
| [20] | YANG Chao, JIANG Yu, WU Zhigang. Numerical simulation of skipping motion of three-dimensional structure based on boundary element method[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(9): 1678-1691. doi: 10.13700/j.bh.1001-5965.2022.0141 |
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
Wu Bin, Cheng Peng. Application of General Orthogonal Polynomials on Tracking Problem of Time-varying Systems Optimal Control[J]. Journal of Beijing University of Aeronautics and Astronautics, 1999, 25(4): 414-417. (in Chinese)
DownLoad: