On the Role of Generative Ai in Explaining Model Checking Counterexamples

AuthID
 P-018-Z84
2
Author(s)
Ferreira Moreira, EJV
·
9
Editor(s)
Zaina,LAM;Campos,JC;Spano,LD;Luyten,K;Palanque,PA;der Veer,GCv;Ebert,A;Humayoun,SR;Memmesheimer,VM
Document Type
Proceedings Paper
Year published
2024
Published
in Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 15518, Pages: 138-158 (20)
Conference
Workshops Organized in Conjunction with the 16Th Acm Sigchi Symposium on Engineering Interactive Computing Systems, Eics 2024, Date: 24 June 2024 through 28 June 2024, Location: Cagliari
Indexing
Scopus®
Dblp®/en/publications/view/1342724
Crossref®
Google Scholar®
Publication Identifiers
Dblp: conf/eics/MoreiraC24
Scopus: 2-s2.0-105007683064
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service