Hajnal, Péter János (2023) Java szimbolikus végrehajtó kiegészítése constraint solverrel. Masters, Szegedi Tudományegyetem.
![[thumbnail of 2023_hajnal_peter_janos.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/application_pdf.png) |
PDF
2023_hajnal_peter_janos.pdf Hozzáférés joga: SZTE designated computers only Download (1MB) |
English title
Adding a constraint solver to a Java symbolic execution engine
Institution
Szegedi Tudományegyetem
Faculty
Faculty of Science and Informatics
Department
Discipline
Specialization
Supervisor(s)
Supervisor
Supervisor scientific name label
Email
EHA
Pengő, Edit
tudományos munkatárs
UNSPECIFIED
UNSPECIFIED
| Item Type: | Thesis (Masters) |
|---|---|
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences |
| Depositing User: | TTIK szerkesztő |
| Date Deposited: | 2024. Jun. 06. 20:06 |
| Last Modified: | 2024. Jun. 06. 20:06 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/141284 |
Actions (login required)
 |
View Item |
