Virtual Sea Trial

Forskningsresultat

Publikationer per år 2024 2025 2026

• 10 Publicerad konferensartikel
• 4 Magisteruppsats
• 1 Artikel

Publikationer per år

Publikationer per år

Sökresultat

• 2026

  Multi-Agent LLM-based Metamorphic Testing for REST APIs

  Khan, S., Mughees, A., Chariyarupadannayil Sudheerbabu, G., Ahmad, T. & Truscan, D., 2026, (Accepterad/under tryckning) Proceedings of 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC 2026): Agentic AI: Innovative Software, Computing Paradigms, and Applications for Migrating from Reactive Models to Proactive Systems. IEEE

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • REST API 100%
  • Relation System 50%
  • Open API 25%
  • Agentic Workflow 25%
  • Specification Test 25%

• Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations

  Kulshreshtha, A., Mughees, A., Chariyarupadannayil Sudheerbabu, G., Ahmad, T., Klemets, K., Truscan, D. & Manngård, M., 2026, (Accepterad/under tryckning) IEEE Conference on Computers, Software, and Applications (COMPSAC2026), Metamorphic testing (MET) workshop . IEEE

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Cooling System 100%
  • Expected Output 33%
  • Input Condition 25%
  • Functional System 25%
  • Interface Specification 25%

• Using Large Language Models for Black-Box Testing of FMU-Based Simulations

  Mughees, A., Chariyarupadannayil Sudheerbabu, G., Ahmad, T., Truscan, D., Manngård, M. & Klemets, K., 2026, (Accepterad/under tryckning) Proceedings of the European Control Conference (ECC), 2026 . IEEE

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Black-Box Testing 100%
  • Human-in-the-loop Experiment 25%
  • Model-assisted 25%
  • Structured Scenario 25%
  • Input Time 25%

• 2025

  Two-phase Path Planning for Fuel-Efficient Safe Navigation

  Ben Lahbib, H., Vain, J., Taha Bennani, M., Truscan, D., Sudherbaabu, G., Mughees, A., Khan, S. & Yaseen, A., sep. 2025, Proceedings of the MARESEC 2025 . Genève: Zenodo

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Professionell

  Öppen tillgång

  Fil

  15 Nedladdningar (Pure)

• Unified Search for Multi-requirement Falsification for Cyber-Physical Systems

  Winsten, J. & Porres, I., 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025. Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (red.). IEEE, s. 235-243 9 s. (2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Cyber Physical Systems 100%
  • Multiple Requirement 100%
  • Multirequirements 100%
  • Generative Adversarial Networks 50%
  • Temporal Logic 50%

  1 Citeringar (Scopus)

  7 Nedladdningar (Pure)

• Using Reinforcement Learning for Security Testing: A Systematic Mapping Study

  Ahmad, T., Butkovic, M. & Truscan, D., 16 apr. 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025. Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (red.). IEEE, s. 208-216 (2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Systematic Mapping Study 100%
  • Reinforcement Learning 100%
  • Security Testing 100%
  • Test Generation 100%
  • Software System 25%

  3 Citeringar (Scopus)

  26 Nedladdningar (Pure)

• Validation of dynamic simulation models using metamorphic testing and given-when-then patterns

  Sudheerbabu, G., Truscan, D., Manngård, M. & Klemets, K., 24 okt. 2025, Proceedings of the 16th International Modelica&FMI Conference, September 8 – 10, 2025, Lucerne University of Applied Sciences and Arts (HSLU) . Linköping University Electronic Press, Vol. 218. s. 139-146 (Linköping Electronic Conference Proceedings; nr. 218).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Simulation Mode 100%
  • Test Generation 75%
  • Automated Test 50%
  • Domain-specific Constraints 33%
  • Driven Development 25%

  15 Nedladdningar (Pure)

• Visual Spectrum-Based Fault Localization for Python Programs Based on the Differentiation of Execution Slices

  Khan, S., Sudheerbabu, G., Elena Staicu, B., Ahmad, T. & Truscan, D., 16 apr. 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025. Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (red.). IEEE, s. 217-225 (2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Source Coding 100%
  • Program Graph 83%
  • Information Score 83%
  • Localization Method 83%
  • Suspiciousness Metric 83%

  13 Nedladdningar (Pure)

• 2024

  Early Detection with Explainability of Network Attacks Using Deep Learning

  Ahmad, T. & Truscan, D., 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 161-167 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Early Detection 100%
  • Deep Learning 100%
  • Network Attacks 100%
  • Explainability 100%
  • Attention Mechanism 100%

  1 Citeringar (Scopus)

• Iterative Optimization of Hyperparameter-based Metamorphic Transformations

  Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

  Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

  • Feedback Loop 100%
  • Software Systems 100%
  • Test Generation 100%
  • Leaning Parameter 100%
  • Artificial Intelligence 100%