Author:
Usman Muhammad,Wang Wenxi,Wang Kaiyuan,Yelen Cagdas,Dini Nima,Khurshid Sarfraz
Publisher
Springer International Publishing
Reference48 articles.
1. Korat GitHub repository. https://github.com/korattest/korat
2. Scikit-Learn Library. https://scikit-learn.org/stable/ . Accessed 18 Aug 2019
3. Bodik, R.: Program synthesis: opportunities for the next decade. In: 20th ACM SIGPLAN International Conference on Functional Programming, p. 1 (2015)
4. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 123–133 (2002)
5. Briand, L.C., Labiche, Y., Liu, X.: Using machine learning to support debugging with tarantula. In: 18th IEEE International Symposium on Software Reliability, pp. 137–146 (2007)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Railway accident causation analysis: Current approaches, challenges and potential solutions;Accident Analysis & Prevention;2023-06
2. From Input to Failure: Explaining Program Behavior via Cause-Effect Chains;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
3. Learning to Prune Infeasible Paths in Generalized Symbolic Execution;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
4. Applying learning techniques to oracle synthesis;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
5. A study of learning likely data structure properties using machine learning models;International Journal on Software Tools for Technology Transfer;2020-06-07