Mikael Ebrahimi Salari, Doctoral student
Mikael is a PhD Researcher, Tester, and Automation Engineer with 12+ years of experience and 8+ scientific publications in automation, embedded systems, test automation, and requirements engineering domains. Passionate about bridging research and real-world applications in safety-critical systems.
Currently doing a PhD in Computer Science at Mälardalen University, Sweden, with a proven track record in developing AI-powered test automation tools for industrial embedded systems, especially PLCs, in collaboration with ABB and Alstom through different EU and international research projects such as VeriDevOps, MATISSE, and SmartDelta.
Teaching and lab assistant in two different courses at Mälardalen University for more than four years now, including "Research Methods in Computer Science" (DVA463) and "Data Structures, Algorithms, and Program Development with Python" (DVA245).
As a Peer Reviewer, I provided critical evaluation of methodologies, contributions, and validity of research findings, and contributed to maintaining scientific rigor and advancing research quality for scientific articles submitted to different conferences and journals in the field of software engineering and software testing, such as:
- Springer Journal on Software and Systems Modeling (SoSyM 2024)
- Elsevier Journal of Computer Languages (COLA 2025)
- IEEE SSE (2025 International Conference on Software Services Engineering)
- SOLI 2023: The 17th IEEE International Conference on Service Operations and Logistics, and Informatics
- The 4th ACM/IEEE International Conference on Automation of Software Test (AST 2023)
- SecDevOps 2023: Notes on Software Engineering Methods and CyberSecurity in a DevOps Environment
- IEEE 20th International Conference on Software Engineering and Formal Methods (SEFM 2022)
- Programming & Development
- Python, C, C++, PLC (IEC 61131), Java, SQL
- Embedded Software Development
- Real-Time & Control Applications
- Test-Driven Development (TDD), Agile Methodologies
- Embedded Systems & Programmable Logic Controllers (PLC)
- Embedded Safety-Critical Systems, SCADA Systems
- PLC Programming (IEC 61131-3, CODESYS IDE)
- Test Automation & Quality Assurance
- Test Automation Framework Development
- Software Testing, Code Verification & Validation
- Requirements Engineering & Testing
- Model Checking
- AI, Machine Learning, & Advanced Testing
- AI-Driven Testing (Search-Based Algorithms, Machine Learning)
- Large Language Model (LLM) Training & Tuning
- Malware & Anomaly Detection in IoT/IIoT Networks
- Sampling & Data Clustering (K-Means & X-Means Algorithms)
- DevOps & Cloud
- Automation, CI/CD, DevOps
- Cloud Computing, Microsoft Azure, AWS
- Networking & Security
- Software, Hardware & Network Troubleshooting
- Computer Networks (IoT, IIoT, SDN) & Internet Services
- Network Security & Software Security
- Tools & Platforms
- Linux, Microsoft 365 & Windows, Photoshop, VMware
- Robot Framework, Pytest, Pynguin, Junit, CODESYS Test Manager, CODESYS Profiler
- Git, Docker, Jenkins, PyCharm, Microsoft Visual Studio, PyTorch, Microsoft Azure, Ollama
- Academic & Communication
- Research & Development (R&D)
- Authoring and reviewing scientific articles
- Research Methods and Research Design
- Teaching Undergraduate & Postgraduate Students
PyLC+: A Scalable Python Framework for Automated Translation and Testing of Industrial PLC Programs (Jul 2025) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Alessio Bucaioni, Wasif Afzal, Cristina Seceleanu 49th IEEE International Conference on Computers, Software, and Applications ( COMPSAC-2025)
An Empirical Investigation of Requirements Engineering and Testing Utilizing EARS Notation in PLC Programs (Mar 2025) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu Springer Nature Computer Science (SNCS)
Enabling Test Automation for Industrial PLC Programs (May 2024) Mikael Ebrahimi Salari Mälardalen University, School of Innovation, Design, and Engineering (IDT) (IDT)
Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin (Feb 2024) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal 30th Asia-Pacific Software Engineering Conference (APSEC2023)
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems (May 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu 19th Workshop on Advances in Model Based Testing (A-MOST 2023)
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator (Apr 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu SAC2023, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC 2023)