NLP-based Testing and Monitoring for Security Checking

Andrey Sadovykh, Zujany Salazar, Wissam Mallouli, Ana R. Cavalli, Dragos Truscan, Eduard Paul Enoiu, Rosa Iglesias, Olga Hendel

Tutkimustuotos: Konferenssiin myötävaikuttaminenTiivistelmäTieteellinenvertaisarvioitu

19 Lataukset (Pure)


VeriDevOps aims at bringing together fast and cost-effective
security verification through formal modelling and verification, as well as
test generation, selection, execution and analysis capabilities to enable
companies to deliver quality systems with confidence in a fast-paced
DevOps environment. Security requirements are intended to be processed
using NLP advanced algorithms in order to deliver formal specifications
of security properties to be checked during development and operation
of a system under test.
TilaJulkaistu - 2021
OKM-julkaisutyyppiO2 Other
TapahtumaProceedings of The 33rd IFIP International Conference on Testing Software and Systems - Virtual, hosted by: University College London, London, United Kingdom
Kesto: 10 marrask. 2021 → …
Konferenssinumero: 2021


KonferenssiProceedings of The 33rd IFIP International Conference on Testing Software and Systems
Maa/AlueUnited Kingdom
Ajanjakso10/11/21 → …


Sukella tutkimusaiheisiin 'NLP-based Testing and Monitoring for Security Checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.