Logo des Repositoriums
 

SMT Solvers – A PromisingWay for Verifying User Interfaces?

Kurzanzeige
dc.contributor.authorBruchertseifer, Jens
dc.contributor.authorWeyers, Benjamin
dc.contributor.editorMarky, Karola
dc.contributor.editorGrünefeld, Uwe
dc.contributor.editorKosch, Thomas
dc.date.accessioned2022-08-30T10:27:30Z
dc.date.available2022-08-30T10:27:30Z
dc.date.issued2022
dc.description.abstractEvaluating user interfaces of interactive applications in terms of correctness has always been a lengthy and error-prone task, as it would be executed by humans. This has led to this aspect of development being severely neglected, which poses a fundamental problem in terms of usability. In this work, we present a novel approach based on the creation of a formal representation from a given user interface, which is transformed into a reference net and finally converted into an SMT formula. As SMT formulae can be evaluated easily using highly efficient SMT solvers, this approach promises good efficiency in real-world scenarios.en
dc.identifier.doi10.18420/muc2022-mci-ws06-450
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/39074
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofMensch und Computer 2022 - Workshopband
dc.relation.ispartofseriesMensch und Computer
dc.subjectformal methods in HCI
dc.subjectSMT
dc.subjectSMT solver
dc.subjectZ3
dc.subjectUI model
dc.subjectverification
dc.subjectreference nets
dc.subjectRenew
dc.subjectFILL
dc.subjecttransformation
dc.subjectautomatization
dc.titleSMT Solvers – A PromisingWay for Verifying User Interfaces?en
dc.typeText/Workshop Paper
gi.citation.publisherPlaceBonn
gi.conference.date4.-7. September 2022
gi.conference.locationDarmstadt
gi.conference.sessiontitleMCI-WS06: Augmenting Usability Evaluation
gi.document.qualitydigidoc

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
WS-06-3_SMT Solvers – A PromisingWay for Verifying User Interfaces.pdf
Größe:
525.14 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

Workshopband MuC 2022