Capítulo de Libro
Model-Based Software Debugging
Autor/es | Ceballos Guerrero, Rafael
Abreu, Rui Varela Vaca, Ángel Jesús Martínez Gasca, Rafael |
Coordinador/Director | Escobet, Teresa
Bregon, Anibal Pulido, Belarmino Puig, Vicenç |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2019 |
Fecha de depósito | 2022-11-16 |
Publicado en |
|
ISBN/ISSN | 978-3-030-17727-0 |
Resumen | The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ever-growing challenges in building and maintaining such systems. In particular, testing and debugging, ... The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ever-growing challenges in building and maintaining such systems. In particular, testing and debugging, that is, finding, isolating, and eliminating defects in software systems still constitute a major challenge in practice |
Agencias financiadoras | Ministerio de Ciencia Y Tecnología (MCYT). España Fundacao para a Ciencia e a Tecnologia (FCT) European Regional Development Fund (ERDF) |
Identificador del proyecto | TIN2015-63502-C3-2-R
UID/EEA/50014/2013 POCI-01-0145-FEDER-006961 (COMPETE 2020) |
Cita | Ceballos Guerrero, R., Abreu, R.,...,Martínez Gasca, R. (2019). Model-Based Software Debugging. En T. Escobet, A. Bregon, B. Pulido, V. Puig (Ed.), Fault Diagnosis of Dynamic System: Quantitative and Qualitative Approaches (pp. 365-387). Cham, Switzerland: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Model-based software debugging.pdf | 627.6Kb | [PDF] | Ver/ | |