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...

ver descrição completa

Detalhes bibliográficos

Principais autores:	Long Pham, Jan Hoffmann
Formato:	Artigo
Idioma:	Inglês
Publicado em:	Logical Methods in Computer Science e.V. 2024-12-01
coleção:	Logical Methods in Computer Science
Assuntos:	computer science - programming languages computer science - distributed, parallel, and cluster computing computer science - logic in computer science
Acesso em linha:	http://lmcs.episciences.org/12242/pdf
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!