Automated Testing of Program Analyzers with Automata-Based Program Generation

Schober, Sophia

doi:10.34726/hss.2026.138705

Record link:

https://doi.org/10.34726/hss.2026.138705
http://hdl.handle.net/20.500.12708/231855

Title:

Automated Testing of Program Analyzers with Automata-Based Program Generation

Citation:

Schober, S. (2026). Automated Testing of Program Analyzers with Automata-Based Program Generation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2026.138705

reposiTUm DOI:

10.34726/hss.2026.138705

CatalogPlus:

AC18091907

Publication Type:

Thesis - Diplomarbeit

Language:

English

Authors:

Schober, Sophia

Advisor:

Christaki, Maria

Organisational Unit:

E194 - Institut für Information Systems Engineering

Date (published):

2026

Number of Pages:

Keywords:

Program analysis; program analyzer testing; soundness testing; program generation; automata; automated testing; deterministic finite automata; SMT; DFA

Additional information:

Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2027-09-30+02:00)

License:

In Copyright

Appears in Collections:

Thesis

Fulltext (Version of Record (published version))

Adobe PDF

(619.45 kB)