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

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 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)

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)

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

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)

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)

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

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

A Model-based Testing Technique for Amazon Lex Task-based Chatbots

Συγγραφείς: Clerissi, Diego, Vasina, Alessandro, Mariani, Leonardo

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

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

Evaluation of an agent-based reinforcement learning framework for model-based testing

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

Πηγή: 2024 IEEE VII Congreso Internacional en Inteligencia Ambiental, Ingeniería de Software y Salud Electrónica y Móvil (AmITIC) Inteligencia Ambiental, Ingeniería de Software y Salud Electrónica y Móvil (AmITIC), 2024 IEEE VII Congreso Internacional en. :1-7 Sep, 2024

Relation: 2024 IEEE VII Congreso Internacional en Inteligencia Ambiental, Ingeniería de Software y Salud Electrónica y Móvil (AmITIC)

Model-Based Testing of IoT Mobile Controller Smart Light Systems Using Extended Finite State Machine

Συγγραφείς: Rayhan, Afif Fajar, Riskiana, Rosa Reska, Kusumo, Dana Sulistyo, Wibowo, Ryan Oktaviandi Susilo, Praja, Muhammad Rafi Andeo

Πηγή: 2024 12th International Conference on Information and Communication Technology (ICoICT) Information and Communication Technology (ICoICT), 2024 12th International Conference on. :123-130 Aug, 2024

Relation: 2024 12th International Conference on Information and Communication Technology (ICoICT)

Bug Localisation in Model-Based Testing using Model-Centric Shrinking

Συγγραφείς: van den Broek, Susan, Oprescu, Ana, Ruys, Theo C.

Πηγή: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques. :9-15

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

Allowing test execution to continue after failures: tool support and an industrial case study for fault-tolerant online model-based testing

Συγγραφείς: Gəruslu, Vəhid ^{a, b, 1, ⁎}, Keleş, Alper Buğra ^c, Balaman, Yunus ^d, O'Donovan, Glen ^e

Πηγή: In Information and Software Technology August 2026 196

Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report

Συγγραφείς: Garousi, Vahid, Keles, Alper Bugra, Balaman, Yunus, Mermer, Alper, Guler, Zeynep Ozdemir

Πηγή: 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2024 IEEE International Conference on. :37-43 May, 2024

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

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing

Συγγραφείς: Rodríguez, María Belén, Bos, Petra van den

Θεματικοί όροι: Software Engineering, D.2.5; D.2.1

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

Disjunction Composition of BDD Transition Systems for Model-Based Testing

Συγγραφείς: Zameni, Tannaz, Bos, Petra van den, Rensink, Arend

Θεματικοί όροι: Software Engineering, Formal Languages and Automata Theory

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

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

Συγγραφείς: Zameni, Tannaz, van den Bos, Petra, Rensink, Arend, Tretmans, Jan

Πηγή: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) SANER-C Software Analysis, Evolution and Reengineering - Companion (SANER-C), 2024 IEEE International Conference on. :199-206 Mar, 2024

Relation: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)

Extended Finite State Machine Model-Based Testing using Postman Problem Algorithm on SiPProp Web Application

Συγγραφείς: Wibowo, Ryan Oktaviandi Susilo, Riskiana, Rosa Reska, Kusumo, Dana Sulistyo

Πηγή: 2024 2nd International Conference on Software Engineering and Information Technology (ICoSEIT) Software Engineering and Information Technology (ICoSEIT), 2024 2nd International Conference on. :281-286 Feb, 2024

Relation: 2024 2nd International Conference on Software Engineering and Information Technology (ICoSEIT)

Software Testing on E-Commerce Application Using Model-Based Testing Markov Chain

Συγγραφείς: Praja, Muhammad Rafi Andeo, Riskiana, Rosa Reska, Kusumo, Dana Sulistyo

Πηγή: 2024 2nd International Conference on Software Engineering and Information Technology (ICoSEIT) Software Engineering and Information Technology (ICoSEIT), 2024 2nd International Conference on. :287-292 Feb, 2024

Relation: 2024 2nd International Conference on Software Engineering and Information Technology (ICoSEIT)