4 papers · 1 filter
MUCOCO: Automated Consistency Testing of Code LLMs
Chua Jin Chou, Khant That Lwin, Ezekiel Soremekun
Code LLMs often portray inconsistent program behaviors. Developers typically employ benchmarks to assess Code LLMs, but most benchmarks are hand-crafted, static and do not target c…
Directed Grammar-Based Test Generation
Lukas Kirschner, Ezekiel Soremekun
To effectively test complex software, it is important to generate goal-specific inputs, i.e., inputs that achieve a specific testing goal. However, most state-of-the-art test gener…
End-user Comprehension of Transfer Risks in Smart Contracts
Yustynn Panicker, Ezekiel Soremekun, Sudipta Chattopadhyay +1
Smart contracts are increasingly used in critical use cases (e.g., financial transactions). Thus, it is pertinent to ensure that end-users understand the transfer risks in smart co…
Latent Mutants: A large-scale study on the Interplay between mutation testing and software evolution
Jeongju Sohn, Ezekiel Soremekun, Michail Papadakis
In this paper we apply mutation testing in an in-time fashion, i.e., across multiple project releases. Thus, we investigate how the mutants of the current version behave in the fut…