Affiliation:
1. INESC TEC, Portugal / University of Minho, Portugal
Funder
Fundação para a Ciência e a Tecnologia
European Regional Development Fund
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. Structural Coverability for Intelligent Automation Systems;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26
4. Augmenting Robot Software Development Process with Flexbot;2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE);2023-05
5. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review;ACM Transactions on Software Engineering and Methodology;2023-03-30