Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Genetic algorithm with temporal logic for automated markers
Dissertation (MSc (Computer Science))--University of Pretoria, 2025.
Saved in:
| Other Authors: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
University of Pretoria
2025
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613549758513152 |
|---|---|
| access_status_str | Open Access |
| author2 | Bosman, Anna S. |
| author_browse | Bosman, Anna S. |
| author_facet | Bosman, Anna S. |
| collection | Thesis |
| dc_rights_str_mv | © 2024 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. |
| description | Dissertation (MSc (Computer Science))--University of Pretoria, 2025. |
| format | Thesis |
| id | oai:repository.up.ac.za:2263/103338 |
| institution | University of Pretoria (South Africa) |
| language | English |
| last_indexed | 2026-06-10T12:37:55.093Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UPSpace — University of Pretoria Institutional Repository |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | University of Pretoria |
| publisherStr | University of Pretoria |
| record_format | dspace |
| source_str | UPSpace — University of Pretoria Institutional Repository |
| spelling | oai:repository.up.ac.za:2263/103338 Genetic algorithm with temporal logic for automated markers Bosman, Anna S. u19089296@tuks.co.za Marshall, Linda Nils, Timm Redelinghuys, Francois Jacobus UCTD Sustainable Development Goals (SDGs) Genetic algorithm Temporal logic Automated marking Dissertation (MSc (Computer Science))--University of Pretoria, 2025. Automated assessment is essential for large-scale programming courses, as it addresses the challenges of evaluating correctness and providing feedback efficiently. Traditional methods of automated assessment rely on hand-crafted test cases, which are time-intensive and lack scalability. Automated test generation methods, such as random input generation or genetic algorithms combined with code coverage metrics, offer alternatives, but often fail to capture the complexity required for educational assessments. To address this, a novel approach that integrates genetic algorithms with linear temporal logic (LTL) formulae is proposed. LTL properties, commonly used in model checking, formalise correctness criteria for programming assignments. The proposed method evolves test cases designed to maximise violations of the LTL properties in student submissions, determining correctness and generating personalised feedback by providing examples of failing test cases. Experiments \replaced{were}{are} conducted to evaluate the approach in terms of sensitivity to hyperparameter settings, and effectiveness relative to the established techniques, such as random input generation and code coverage-based genetic algorithms. Results demonstrate that combining genetic algorithms with LTL properties enhances automated assessment accuracy and feedback quality, offering a solution to the problems faced by automated assessment in large educational settings for both students and lecturers. Computer Science MSc (Computer Science) Unrestricted Faculty of Engineering, Built Environment and Information Technology SDG-04: Quality Education 2025-07-14T10:59:43Z 2025-07-14T10:59:43Z 2025-09 2025-07 Dissertation * S2025 http://hdl.handle.net/2263/103338 https://doi.org/10.25403/UPresearchdata.29554802 en © 2024 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. application/pdf University of Pretoria |
| spellingShingle | UCTD Sustainable Development Goals (SDGs) Genetic algorithm Temporal logic Automated marking Genetic algorithm with temporal logic for automated markers |
| title | Genetic algorithm with temporal logic for automated markers |
| title_full | Genetic algorithm with temporal logic for automated markers |
| title_fullStr | Genetic algorithm with temporal logic for automated markers |
| title_full_unstemmed | Genetic algorithm with temporal logic for automated markers |
| title_short | Genetic algorithm with temporal logic for automated markers |
| title_sort | genetic algorithm with temporal logic for automated markers |
| topic | UCTD Sustainable Development Goals (SDGs) Genetic algorithm Temporal logic Automated marking |
| url | http://hdl.handle.net/2263/103338 https://doi.org/10.25403/UPresearchdata.29554802 |