Publisher
Springer International Publishing
Reference16 articles.
1. Zhou, J., Zhang, Z., Xie, P., Wang, J.: A test data generation approach for automotive software. In: 2015 IEEE International Conference on Software Quality, Reliability and Security – Companion, Vancouver, BC, pp. 216–220 (2015)
2. Emelenko, A.N., Mallachiev, K.A., Pakulin, N.V.: Debugger for real-time OS: challenges of multiplatform support. Trudi Instituta systemnogo programmirovaniya RAN 29(4), 295–302 (2017)
3. Uetsuki, K., Tsuda, K., Matsuodani, T.: Automated compatibility testing method for software logic by using symbolic execution. In: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Graz, pp. 1–6. IEEE (2015)
4. Yu, H., Song, H., Xiaoming, L., Xiushan, Y.: Using symbolic execution in embedded software testing. In: 2008 International Conference on Computer Science and Software Engineering, Hubei, pp. 738–742. IEEE (2008)
5. Suresh, V.P., Chakrabarti, S.K., Jetley, R., Mohan, D.: Handling backtracking for symbolic testing of embedded software. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Zaragoza, Spain, pp. 1445–1448 (2019)