EdgeFlow: Edge-Map Augmented VLM-Based Flowchart Processing for Industrial Requirements Engineering

Συγγραφείς: Dou, Zhifei, Hassani, Shabnam, Wei, Ou

Πηγή: 2026 IEEE 34th International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2026 IEEE 34th International. :74-83 Aug, 2026

Relation: 2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)

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

Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale

Συγγραφείς: Shen, Xiangchen, Wang, Yiting, Su, Ting, Liang, Jingjing, Sun, Jingling, Liang, Xixian, Sun, Haiying, Xu, Xinjie, Lu, Haochuan, Deng, Yuetang, Wang, Pengcheng, Pu, Geguang, Su, Zhendong, Hughes, John

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

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

Quick Bug Detection through Black-Box Checking : A Systematic Evaluation

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

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

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

CANcept: Model-based CAN Traffic Generation and Manipulation

Συγγραφείς: Wertz, Lino, Sheikhi, Junes, Fehrle, Florian, Rupp, Adrian, Liu, Tianhai, Kern, Philipp, Sinz, Carsten, Beckert, Bernhard

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

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

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

A Clone Selection-Based Algorithm for Railway Control Systems Checking Sequence Generation

Συγγραφείς: Liao, Y., He, L., Venkateswaran, K.G., Tee, Y., Dumler, N., Gunawardana, D., Chen, L.

Πηγή: IEEE Transactions on Intelligent Transportation Systems IEEE Trans. Intell. Transport. Syst. Intelligent Transportation Systems, IEEE Transactions on. 27(8):9200-9209 Aug, 2026

JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations

Συγγραφείς: Rousseaux, Tom, Temmerman, Alix, Bonaventure, Olivier

Πηγή: 2026 IFIP Networking Conference (IFIP Networking) Networking Conference (IFIP Networking), 2026 IFIP. :1-9 May, 2026

Relation: 2026 IFIP Networking Conference (IFIP Networking)

BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications

Συγγραφείς: Haq, Fitash Ul, Cabot, Jordi

Πηγή: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2026 IEEE International Conference on. :206-210 May, 2026

Relation: 2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)

Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking

Συγγραφείς: Oda, Futa, Tsuchiya, Tatsuhiro

Πηγή: 2026 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2026 IEEE International Conference on. :265-269 May, 2026

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

A Systematic Literature Review on Automata–Driven and ML-Augmented Frameworks for Testing in Web Applications

Συγγραφείς: S, Pawan, H.R, Swarna, Bangera, Varsha Gangadhar

Πηγή: 2026 IEEE International Conference on Emerging Synergy Science and Technology (ICESST) Emerging Synergy Science and Technology (ICESST), 2026 IEEE International Conference on. :1-6 Apr, 2026

Relation: 2026 IEEE International Conference on Emerging Synergy Science and Technology (ICESST)

Enhancing Test-Driven Development with Semi-Automated Test Case Generation Using Input Space Partitioning

Συγγραφείς: Yeganeh, Mohsen Shojaei, Mirian-Hosseinabadi, Seyed-Hassan

Πηγή: 2026 12th International Conference on Web Research (ICWR) Web Research (ICWR), 2026 12th International Conference on. :39-46 Apr, 2026

Relation: 2026 12th International Conference on Web Research (ICWR)

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

A Three-Stage Microflow-to-EFSM Transformation Approach for Test Coverage Enhancement in Mendix

Συγγραφείς: Astrianto, Jaatsiyah Maulidina, Riskiana, Rosa Reska, Kusumo, Dana Sulistyo

Πηγή: 2025 International Conference on Artificial Intelligence, Blockchain, Cloud Computing, and Data Analytics (ICoABCD) Artificial Intelligence, Blockchain, Cloud Computing, and Data Analytics (ICoABCD), 2025 International Conference on. :1-8 Dec, 2025

Relation: 2025 International Conference on Artificial Intelligence, Blockchain, Cloud Computing, and Data Analytics (ICoABCD)

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)

XRintTest: An Automated Framework for User Interaction Testing in Extended Reality Applications

Συγγραφείς: Gu, Ruizhen, Rojas, Jose Miguel, Shin, Donghwan

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

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

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)

Hybrid Framework for Securing Machine to Machine Devices in Internet of Things

Συγγραφείς: Kimwomi, James Nyanumba, Kimwele, Michael W., Musau, Felix

Πηγή: 2025 IEEE 12th International Conference on Cyber Security and Cloud Computing (CSCloud) CSCLOUD Cyber Security and Cloud Computing (CSCloud), 2025 IEEE 12th International Conference on. :7-12 Nov, 2025

Relation: 2025 IEEE 12th International Conference on Cyber Security and Cloud Computing (CSCloud)

Automata Models for Effective Bug Pattern Description

Συγγραφείς: Yaacov, Tom, Weiss, Gera, Amram, Gal, Hayoun, Avi

Πηγή: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2025 ACM/IEEE 28th International Conference on. :119-129 Oct, 2025

Relation: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS)