Author:
Qiu Rui,Khurshid Sarfraz,Păsăreanu Corina S.,Wen Junye,Yang Guowei
Publisher
Springer International Publishing
Reference47 articles.
1. Stampede. https://www.tacc.utexas.edu/stampede
2. http://cs.txstate.edu/~g_y10/synergise
3. Lecture Notes in Computer Science;E Albert,2011
4. Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., Mcminn, P.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978–2001 (2013)
5. Baars, A.I., Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Tonella, P., Vos, T.E.J.: Symbolic search-based testing. In: ASE 2011, pp. 53–62 (2011)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12
2. Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding;Proceedings of the ACM on Programming Languages;2024-06-20
3. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
4. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023
5. Ranged Program Analysis via Instrumentation;Software Engineering and Formal Methods;2023