Text
VeriDevOps Research Workshop Series
Student Workshop
Educating students in this field is a dispensable part of the VeriDevOps project.
This series of VeriDevOps Student Workshop aims to encourage academic communication among undergraduate to Ph.D.students level. With the context of the project, students need to identify the problem and state the issue explicitly, then provide the plan to solve it independently.
Student workshop 1: In the context of automated security requirement analysis and verification in the DevOps context
Date: 13 December 2021
Time: 10.00 - 13.00 CET
Workshop Hoster: Andrey Sadovykh (SOFT)
Agenda
Time | Topic | Presenter | Organization |
|---|---|---|---|
10:00 | Welcome | Andrey Sadovykh | SOFT |
10:10 | RQCODE: requirements as the OO code concept | Iidar Nigmatullin (Ph.D. student) | SOFT |
Requirements analysis and verification automation in DevOps context | Olga Chernukhina(BSc student) | SOFT | |
Security properties monitoring | Zujany Salazar(Ph.D student) | Montimage | |
11:10 | Break | ||
Metamorphic testing approach | Gaadha Chariyarupadan(Ph.D student | Åbo Akademi | |
Test Automation Framework Comparison | Mikael Salari (Ph.D. student) | MDU | |
Reuse Recommendations in CI/CD/DevOps | Damir Bilic (Ph.D. student) | MDU | |
NLP and ML for security requirements clustering | Nikita Tihonov(BSc student) | SOFT | |
12:50 | Closing | Andrey Sadovykh | SOFT |
