Tuning parallel symbolic execution engine for better performance-Reference-Cited by-同舟云学术

Tuning parallel symbolic execution engine for better performance

Published:2017-09-14 Issue:1 Volume:12 Page:86-100
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

Karna Anil Kumar,Du Jinbo,Shen Haihao,Zhong Hao,Gong Jiong,Yu Haibo,Ma Xiangning,Zhao Jianjun

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/article/10.1007/s11704-016-5459-9/fulltext.html

Reference22 articles.

1. Ciortea L, Zamfir C, Bucur S, Chipounov V, Candea G. Cloud9: a software testing service. ACM SIGOPS Operating Systems Review, 2010, 43(4): 5–10

2. Staats M, Pˇasˇareanu C S. Parallel symbolic execution for structural testgeneration. In: Proceedings of the 19th International Symposium on Software Testing and Analysis. 2010, 183–194

3. King A. Distributed parallel symbolic execution. Dissertation for the Doctoral Degree. Manhattan, KS: Kansas State University, 2009

4. Siddiqui J H, Khurshid S. ParSym: Parallel symbolic execution. In: Proceedings of the 2nd International Conference on Software Technology and Engineering. 2010, 405–409

5. Sasnauskas R, Dustmann O S, Kaminski B L, Wehrle K, Weise C, Kowalewski S. Scalable symbolic execution of distributed systems. In: Proceedings of the 31st International Conference on Distributed Computing Systems. 2011, 333–342

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concurrent Bug Finding Based on Bounded Model Checking;International Journal of Software Engineering and Knowledge Engineering;2020-05

2. The role of model checking in software engineering;Frontiers of Computer Science;2018-04-27