CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases

AuthID
P-017-127
3
Author(s)
Orvalho, P
·
Manquinho, V
4
Editor(es)
Platzer,A;Rozier,KY;Pradella,M;Rossi,M
Tipo de Documento
Proceedings Paper
Year published
2025
Publicado
in FORMAL METHODS, PT I, FM 2024 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 14933, Páginas: 463-481 (19)
Conference
26Th International Symposium on Formal Methods (Fm), Date: SEP 09-13, 2024, Location: Milan, ITALY
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85204525741
Wos: WOS:001336893300024
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.