ERD

Message from the ITEQS 2021 Workshop Chairs

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

NLP-based Testing and Monitoring for Security Checking (Project Report)

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Security Requirements as Code:Example from VeriDevOps Project

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Security Testing and Resilience

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Early Detection of Network Attacks Using Deep Learning

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Patterns catalogue

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Specification of security formal models

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Specification of patterns for security requirements

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Tools for active prevention during development - Initial version

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

State-of the Art Report

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Report on the architecture and implementation evaluation - initial version

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

VeriDevOps Framework Architecture and Roadmap

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

A Two-phase Metamorphic Approach for Testing Industrial Control Systems

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Resources

Selected filters:

Message from the ITEQS 2021 Workshop Chairs

NLP-based Testing and Monitoring for Security Checking (Project Report)

Security Requirements as Code:Example from VeriDevOps Project

Security Testing and Resilience

Towards Human-Like Automated Test Generation: Perspectives from Cognition and Problem Solving

Early Detection of Network Attacks Using Deep Learning

Patterns catalogue

Specification of security formal models

Specification of patterns for security requirements

Tools for active prevention during development - Initial version

State-of the Art Report

Report on the architecture and implementation evaluation - initial version

VeriDevOps Framework Architecture and Roadmap

A Two-phase Metamorphic Approach for Testing Industrial Control Systems