Model Assisted Refinement of Metamorphic Relations for Scientific Software.
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27, 2025
Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches.
Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025
Scalable Relational Analysis via Relational Bound Propagation.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
IoTCom: Dissecting Interaction Threats in IoT Systems.
IEEE Trans. Software Eng., April, 2023
Parasol: efficient parallel synthesis of large model spaces.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Combining solution reuse and bound tightening for efficient analysis of evolving systems.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
SAINTDroid: Scalable, Automated Incompatibility Detection for Android.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
Game-theoretic Analysis of Effort Allocation of Contributors to Public Projects.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Exploring the Efficiency of Self-Organizing Software Teams with Game Theory.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021
Scalable analysis of interaction threats in IoT systems.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
Reducing run-time adaptation space via analysis of possible utility bounds.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Extending a knowledge-based network to support temporal event reasoning.
Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010
Simulating Mobility in WSNs: Bridging the Gap between ns-2 and TOSSIM 2.x.
Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009