Albert Albiol, ElviraGómez-Zamalloa Gil, MiguelIsabel Márquez, Miguel2023-06-172023-06-172021-05-28https://hdl.handle.net/20.500.14352/11647Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, leída el 14-10-2020Tanto el testing como la verificacion de sistemas concurrentes requieren explorar todos los posibles entrelazados no deterministas que la ejecucion concurrente puede tener, ya que cualquiera de estos entrelazados podra revelar un comportamiento erroneo del sistema. Esto introduce una explosion combinatoria en el numero de estados del programa que deben ser considerados, lo que frecuentemente lleva a un problema computacionalmente intratable. El objetivo de esta tesis es el desarrollo de tecnicas novedosas para el testing y la verificacion de programas concurrentes que permitan reducir esta explosion combinatoria...Both verification and testing of concurrent systems require exploring all possible non-deterministic interleavings that the concurrent execution may have, as any of the interleavings may reveal an erroneous behavior of the system. This introduces a combinatorial explosion on the number of program states that must be considered, what leads often to a computationally intractable problem. The overall goal of this thesis is to investigate novel techniques for testing and verification of concurrent programs that reduce this combinatorial explosion...engdoctoral thesisopen access004.42.032.24(043.2)004.421(043.2)Algoritmos computacionalesprogramación en paralelo (Informática)Computer AlgorithmsParallel programming (Computer science)Programación de ordenadores (Informática)1203.23 Lenguajes de Programación