Zala虂n Le虂vai, a final year MComp Computer Science undergraduate, was over the moon when he received the news that his paper has been accepted for publication at the 16th IEEE International Conference on Software Testing, Verification and Validation.
鈥淭o say I was incredibly excited would be an understatement!鈥 said Zala虂n.
鈥淲e put everything that we could into the paper, but this is the first time I鈥檝e ever been involved with anything like this. So I didn't really know what to expect.
鈥淚 thought we might tip-toe over the line of acceptance, but it ended up being quite the contrary. It was something of a resounding acceptance, which definitely added to the experience.
鈥淲e really shot for the stars going for that particular conference - and I鈥檓 very glad we did.鈥
Zala虂n鈥檚 paper, which was supervised by the Department鈥檚 Professor Phil McMinn, is titled 鈥樷.
The paper builds on his dissertation and describes a step forward in a process known as 鈥榤utation testing鈥, which is a type of software testing designed to evaluate how effective and comprehensive a test suite is at detecting bugs in a piece of software.
Mutation testing involves making small modifications to a programme to create a 鈥榤utant鈥 version of the original. A test suite should then detect and reject or 鈥榢ill鈥 these mutants to help make sure a piece of software does what it鈥檚 designed to do.
Taking this process a step further using a programming language called Rust, the paper describes a technique called 鈥榤utation batching鈥 which allows software testers to automatically analyse separate, unrelated mutations and faults simultaneously. This can make the process of mutation testing, which is time consuming and resource intensive, faster and more efficient. Ultimately this can lead to better testing suites and more reliable software.
For Zala虂n, who hopes to study a PhD in the Department, the process of problem solving and making new discoveries provides more than enough motivation.
鈥淭here's just so much you can do,鈥 he said.
鈥淵ou can pick your own problem and you try and tackle it the best you can. I feel like computer science is one of those fields, especially being so comparatively young, that it can be relatively easy to find something new, something that hasn't really been discovered or they haven't been able to put too much time and effort into researching.
鈥淢ore generally there is such a lot to be excited about, especially considering how quickly the entire field of software engineering and computer science has, in a way, overtaken everything.
鈥淚t鈥檚 just accepted now as a part of everyone's lives and jobs. We've built so many of our processes based on these systems, yet there's still so much that鈥檚 undiscovered.鈥
Phil McMinn, Professor of Software Engineering at the Department of Computer Science, said: 鈥淭his is a huge achievement and Zala虂n should be incredibly proud to have had his work recognised among the best and brightest in the world of software testing, verification and validation.
鈥淗is hard work and passion has really paid dividends and I鈥檓 sure his success will inspire many other students.鈥
Zala虂n鈥檚 paper will be published at the 16th (ICST) 2023 in Dublin, Ireland in April.
