Olga Petrovska

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Search Based Software Testing

Software Development

Automatically Extracted

Cognitive Apprenticeship

Top Venues

Publications

Olga Petrovska, Lee Clift, Faron Moller, Rebecca Pearsall
Incorporating Generative AI into Software Development Education. CEP (2024)
Olga Petrovska, Lee Clift, Faron Moller
Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. UKICER (2023)
Olga Petrovska, Monika Seisenberger
Report on BCTCS 2022. Bull. EATCS 137 (2022)
Ulrich Berger, Olga Petrovska, Hideki Tsuiki
Prawf: An Interactive Proof System for Program Extraction. CiE (2020)
Ulrich Berger, Olga Petrovska
Optimized Program Extraction for Induction and Coinduction. CiE (2018)