DC Field
Value
Language
dc.contributor.author
Kaindlstorfer, David
-
dc.contributor.author
Isychev, Anastasia
-
dc.contributor.author
Wüstholz, Valentin
-
dc.contributor.author
Christakis, Maria
-
dc.date.accessioned
2026-08-10T14:59:34Z
-
dc.date.available
2026-08-10T14:59:34Z
-
dc.date.issued
2026-06-30
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Kaindlstorfer, D., Isychev, A., Wüstholz, V., &#38; Christakis, M. (2026). Interrogation Testing of CHC Solvers. <i>Proceedings of the ACM on Software Engineering</i>, <i>3</i>(FSE), 1692–1711. https://doi.org/10.1145/3797104</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/229948
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.publisher
Association for Computing Machinery
-
dc.relation.ispartof
Proceedings of the ACM on Software Engineering
-
dc.subject
interrogation testing
en
dc.subject
CHC solvers
en
dc.subject
fuzzing
en
dc.title
Interrogation Testing of CHC Solvers
en
dc.type
Article
en
dc.type
Artikel
de
dc.contributor.affiliation
Diligence Security, Austria
-
dc.description.startpage
1692
-
dc.description.endpage
1711
-
dc.relation.grantno
101076510
-
dc.type.category
Original Research Article
-
tuw.container.volume
3
-
tuw.container.issue
FSE
-
tuw.journal.peerreviewed
true
-
tuw.project.title
Testing Program Analyzers Ad Absurdum
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Proceedings of the ACM on Software Engineering
-
tuw.publication.orgunit
E194-01 - Forschungsbereich Software Engineering
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.publisher.doi
10.1145/3797104
-
dc.date.onlinefirst
2026
-
dc.identifier.eissn
2994-970X
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0000-0001-6375-0421
-
tuw.author.orcid
0000-0003-1496-1104
-
tuw.author.orcid
0000-0002-2649-1958
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Wirtschaftswissenschaften
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
5020
-
wb.sciencebranch.value
90
-
wb.sciencebranch.value
10
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.cerifentitytype
Publications
-
item.openairetype
research article
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.dept
Diligence Security, Austria
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.orcid
0000-0001-6375-0421
-
crisitem.author.orcid
0000-0003-1496-1104
-
crisitem.author.orcid
0000-0002-2649-1958
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
101076510
-
Appears in Collections:
Article
Show simple item record

Google ScholarTM

Check