Author:
Giannakopoulou D.,Pasareanu C.S.,Cobleigh J.M.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distribution Models for Falsification and Verification of DNNs;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
2. Combining Genetic Programming and Model Checking to Generate Environment Assumptions;IEEE Transactions on Software Engineering;2021
3. Mining assumptions for software components using machine learning;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07
4. Compositional synthesis via a convex parameterization of assume-guarantee contracts;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17
5. Thread Scheduling Sequence Generation Based on All Synchronization Pair Coverage Criteria;International Journal of Software Engineering and Knowledge Engineering;2020-01