MoRE: Traffic Rule Modeling and Runtime Evaluation for Model-Based Testing of Automated Driving Systems in CARLA

Συγγραφείς: Sun, Zhetao, Zhang, Man, Yue, Tao

Πηγή: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems. :199-203

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3837062.3838868

UltraInstinctVR: A Model-Based Tool for Automated System Testing of VR Applications

Συγγραφείς: Longfils, Gerry, Cauz, Maxime, Blouin, Arnaud, Devroey, Xavier

Πηγή: Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :3591-3595

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3832783.3834642

A Model-Based Testing Framework For Distributed Simulations

Συγγραφείς: Berg, Tom van den, Schuts, Mathijs, Voogd, Jeroen

Πηγή: 2026 21st Conference on Computer Science and Intelligence Systems (FedCSIS) Computer Science and Intelligence Systems (FedCSIS), 2026 21st Conference on. :239-249 Aug, 2026

Relation: 2026 21st Conference on Computer Science and Intelligence Systems (FedCSIS)

Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing

Συγγραφείς: Xu, Ruiyang, Liang, Jingjing, Zheng, Guoyue, Pu, Geguang, Su, Ting

Πηγή: Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering. :374-385

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3832783.3834360

MMT: One Approach to Mutate Them All — A Model-Based Approach to Bytecode Mutation Testing

Συγγραφείς: Wieber, Philipp

Πηγή: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems. :9-12

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3837062.3839352

Simulink-Flight Software Bridge for Model Based Testing

Συγγραφείς: Matta, Sherif, Carbone, Marc

Πηγή: 2026 IEEE Aerospace Conference Aerospace Conference, 2026 IEEE. :1-6 Mar, 2026

Relation: 2026 IEEE Aerospace Conference

A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings

Συγγραφείς: Cao, Shaoheng, Chen, Renyi, Yang, Wenhua, Pan, Minxue, Li, Xuandong

Πηγή: Proceedings of the ACM on Software Engineering. 2(FSE):1545-1566

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3715789

Challenges in Testing Large Language Model-Based Software: A Faceted Taxonomy

Συγγραφείς: Dobslaw, Felix, Feldt, Robert, Yoon, Juyeon, Yoo, Shin

Πηγή: ACM Transactions on Software Engineering and Methodology. 35(9):1-24

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3806396

VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality Scenes

Συγγραφείς: Zhu, Zhengyang, Dai, Hong-Ning, Guo, Hanyang, Liao, Zeqin, Zheng, Zibin

Πηγή: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :482-494 Nov, 2025

Relation: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)

VISOR: A Vision-Language Model-Based Test Oracle for Testing Robots

Συγγραφείς: Saurabh, Prasun, Valle, Pablo, Arrieta, Aitor, Ali, Shaukat, Arcaini, Paolo

Πηγή: Proceedings of the 3rd ACM International Conference on AI-Powered Software. :197-207

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3805760.3814910

Integrating Architectural Metamodels for Model-Based Testing of Large Language Models

Συγγραφείς: Carreño-Bolufer, Jesús, Giachetti, Giovanni, Pastor, Oscar

Πηγή: Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems. :1165-1169

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3837062.3839561

A Coverage Criterion for Continuous Dynamics in Hybrid Model-Based Testing

Συγγραφείς: Goucem, Salsabil, Boukala, Mohand Cherif, Bendjenna, Hakim

Πηγή: 2025 International Conference on Recent Advances in Mathematics and Informatics (ICRAMI) Recent Advances in Mathematics and Informatics (ICRAMI), 2025 International Conference on. :1-6 Nov, 2025

Relation: 2025 International Conference on Recent Advances in Mathematics and Informatics (ICRAMI)

Optimizing Requirements Coverage in Software Testing Through Large Language Model-Based Scoring

Συγγραφείς: Kaya, Tutku Soker, Coskun, Okan, Unudulmaz, Ahmet

Πηγή: 2026 5th International Informatics and Software Engineering Conference (IISEC) Informatics and Software Engineering Conference (IISEC), 2026 5th International. :134-139 Feb, 2026

Relation: 2026 5th International Informatics and Software Engineering Conference (IISEC)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots

Συγγραφείς: Wu, Jiahui, Lu, Chengjie, Arrieta, Aitor, Ali, Shaukat, Peyrucain, Thomas

Πηγή: Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice. :831-841

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3786583.3786920

Model-Based Testing Computer Games: Does It Work?

Συγγραφείς: Prasetya, I. S. W. B.

Πηγή: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Software Testing, Verification and Validation Workshops (ICSTW), 2025 IEEE International Conference on. :85-92 Mar, 2025

Relation: 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Evaluating Reinforcement learning for Error Detection in Model-Based Testing

Συγγραφείς: Ramirez-Mendez, Jose, Quesada-Lopez, Christian

Πηγή: 2025 IEEE/ACIS 23rd International Conference on Software Engineering Research, Management and Applications (SERA) Software Engineering Research, Management and Applications (SERA), 2025 IEEE/ACIS 23rd International Conference on. :151-157 May, 2025

Relation: 2025 IEEE/ACIS 23rd International Conference on Software Engineering Research, Management and Applications (SERA)

A Natural Language Guided Adaptive Model-based Testing Tool for Autonomous Driving

Συγγραφείς: Zhang, Man, Li, Peiru, Shi, Yize, Yue, Tao

Πηγή: Proceedings of the 16th International Conference on Internetware. :537-540

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3755881.3755932

Early Model-Based Functional Integration Testing for Aircraft Systems Architectures Demonstrated on a Hydrogen-Powered Propulsion Unit

Συγγραφείς: Kuelper, Nils, Hillig, Dennis, Broehan, Jasmin, Stigge, Lukas, Thielecke, Frank

Πηγή: 2025 IEEE International Symposium on Systems Engineering (ISSE) Systems Engineering (ISSE), 2025 IEEE International Symposium on. :1-8 Oct, 2025

Relation: 2025 IEEE International Symposium on Systems Engineering (ISSE)

LLM-Assisted Model-Based GUI Testing for Vue.js Web Applications

Συγγραφείς: Li, Tao, Cui, Chenhui, Huang, Rubing, Towey, Dave, Guo, Shikai, Ma, Lei

Θεματικοί όροι: Software Engineering

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2606.27665

VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality Scenes

Συγγραφείς: Zhu, Zhengyang, Dai, Hong-Ning, Guo, Hanyang, Liao, Zeqin, Zheng, Zibin

Πηγή: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 482-494, 2025

Θεματικοί όροι: Software Engineering, Human-Computer Interaction

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2607.10174