Author:
Godefroid Patrice,Sen Koushik
Publisher
Springer International Publishing
Reference155 articles.
1. LNCS;S. Anand,2008
2. LNCS;S. Anand,2007
3. Artzi, S., Kiezun, A., Dolby, J., Tip, F., Dig, D., Paradkar, A.M., Ernst, M.D.: Finding bugs in web applications using dynamic test generation and explicit-state model checking. IEEE Trans. Softw. Eng. 36(4), 474–494 (2010)
4. LNCS;T. Ball,2001
5. LNCS;M. Barnett,2005
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Structural Coverability for Intelligent Automation Systems;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26
2. Improving Estimations for Latencies of Cause-Effect Chains;Analysis, Estimations, and Applications of Embedded Systems;2023
3. Efficient Bounded Exhaustive Input Generation from Program APIs;Fundamental Approaches to Software Engineering;2023
4. Software Testing: 5th Comparative Evaluation: Test-Comp 2023;Fundamental Approaches to Software Engineering;2023
5. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12