Author:
Milicevic Aleksandar,Misailovic Sasa,Marinov Darko,Khurshid Sarfraz
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation;Proceedings of the ACM on Software Engineering;2024-07-12
2. Comprehending Object State via Dynamic Class Invariant Learning;Lecture Notes in Computer Science;2024
3. Validation of Formal Models: A Case Study;Lecture Notes in Computer Science;2024
4. SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
5. TOGA;Proceedings of the 44th International Conference on Software Engineering;2022-05-21