Text
Publications
Here you can find the publication of the project VeriDevOps under different categories. This list will be updated as soon as new publications become available and can be downloaded.
Journal Papers
Title | Authors | Link |
Machine Learning Techniques for Software Vulnerability Prediction: A comparative study | Gul Jabeen, Sabit Rahim, Wasif Afzal, Dawar Khan, Aftab Ahmed Khan, Zahid Hussain, Tehmina Bibi | |
An Industrial Evaluation and Comparison of Manual Test Design and Automated Test Generation | Eduard Paul Enoiu | Not available Yet |
Automated Test Generation: A Taxonomy and Classification of Techniques | Eduard Paul Enoiu | Not available Yet |
A Novel Model for Vulnerability Analysis through Enhanced Directed Graphs and Quantitative Metrics | Ángel Longueira-Romero Rosa Iglesias Jose Luis Flores Iñaki Garitano | |
Diagnosis Automation using Similarity Analysis Application to Industrial Systems | Ivan Orefice, Manfredi Napolitano, Wissam Mallouli, Ana R. Cavalli, Filip Sebek, and Alberto Lizarduy | Not available yet |
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report | Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere |
Workshop & Conference Proceedings
Title | Authors | Link |
|---|---|---|
Preliminary Results in Using Attention for Increasing Attack Identification Efficiency | Tanwir Ahmad, Dragos Truscan,Juri Vain | |
Industrial Scale Passive Testing with T-EARS | Daniel Flemström, Henrik Jonsson, Eduard Paul Enoiu, Wasif Afzal | |
Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving | Eduard Paul Enoiu and Robert Feldt | |
Ethical AI-Powered Regression Test Selection | Per Erik Strandberg, Mirgita Frasheri, Eduard Paul Enoiu | |
Specification of Passive Test Cases using an Improved T-EARS Language | Daniel Flemström, Wasif Afzal, Eduard Paul Enoiu | |
Message from the ITEQS 2021 Workshop Chairs | Saadatmand, M., Truscan, D. and Eduard Paul Enoiu | Download Pdf, 44.3 kB, opens in new window. |
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System | Zujany Salazar,Ana Rosa Cavalli,Wissam Mallouli,Filip Sebek,Fatiha Zaidi,Monika Ewa Rakoczy | |
A Model-Based Test Script Generation Framework for Embedded Software | Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu, Athanasios Stratis , Ola Sellin | |
Security Testing and Resilience | Ana Rosa Cavalli | |
Towards a Workflow for Model-Based Testing of Embedded Systems | Muhammad Nouman Zafar, Wasif Afzal and Eduard Paul Enoiu | |
VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps | Andrey Sadovykh; Gunnar Widforss; Dragos Truscan; Eduard Paul Enoiu; Wissam Mallouli; Rosa Iglesias; Alessandra Bagnto; Olga Hendel | |
Security Requirements as Code: Example from VeriDevOps Project | Khaled Isamael, Andrey Sadovykh and all | |
Security Requirements Classification into Groups Using NLP Transformers | Vasily Varenov, Aydar Gabdrahmanov (Innopolis Uni) with acknowledgements to VeriDevOps | |
Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report | Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere | |
A Framework for the Attack Tolerance of Cloud Applications Based on Web Services | Georges Ouffoue,Fatiha Zaidi,Fatiha Zaidi,Ana Rosa Cavalli,Huu Nghia Nguyen | |
Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis | Kurmaku, Ted Enoiu, Eduard Paul Kumrija, Musa | |
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment | Mikael Salari, Eduard Enoiu, Wasif Afzal, Cristina Seceleanu | |
Early Detection of Network Attacks Using Deep Learning | Tanwir Ahmad, Dragos Truscan, Juri Vain, Ivan Porres | |
A Two-phase Metamorphic Approach for Testing Industrial Control Systems | Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek, Dragos Truscan, Jüri Vain, and Ivan Porres | |
Message from A-MOST 2023 Workshop Chairs | Florian Lorber,Cristina Seceleanu,Uraz Cengiz Turker | |
Message from ITEQS 2022 workshop chairs | Mehrdad Saadatmand, Dragos Truscan, Eduard Paul Enoiu | |
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu | |
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu | |
Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin | Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal, Filip Sebek | Not available yet |
VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices | Eduard Paul Enoiu, Andrey Sadovykh, Wissam Mallouli and Dragos Truscan | Download Pdf, 1.4 MB, opens in new window. |
Efficient Early Anomaly Detection of Network Security Attacks Using Deep Learning | Tanwir Ahmad, Dragos Truscan | Link External link, opens in new window. |
Project Report
Title | Authors | Link |
|---|---|---|
NLP-based Testing and Monitoring for Security Checking (Project Report) | Andrey Sadovykh, Zujany Salazar, Wissam Mallouli, Ana Rosa Cavalli, Dragos Truscan, Eduard Paul Enoiu, Rosa Iglesias and Olga Hendel | |
Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un Rapport d'Expérience | Andrey Sadovykh, Hugo Bruneliere, Dragos Trusca |
Others
Title | Authors | Link |
|---|---|---|
Project Management in collaborative European research projects: analysis of H2020 VeriDevOps Management structure | Gunnar Widforss, Olga Hendel |
