Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

Worst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vulnerabilities to denial-of-service (DoS) attacks. However, it is non-trivial to generate worst-case inputs for concurrent...

Descrición completa

Detalles Bibliográficos

Principais autores:	Long Pham, Jan Hoffmann
Formato:	Artigo
Idioma:	Inglês
Publicado:	Logical Methods in Computer Science e.V. 2024-12-01
Series:	Logical Methods in Computer Science
Assuntos:	computer science - programming languages computer science - distributed, parallel, and cluster computing computer science - logic in computer science
Acceso en liña:	http://lmcs.episciences.org/12242/pdf
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!