Donghwan Shin

A runtime verification framework for dynamically adaptive multi-agent systems

2016

Dynamically adaptive multi-agent systems (DAMS) consist of multiple agents that adapt to changing system and environmental conditions in order to achieve collaborative goals. As DAMS are found in applications across various domains, ensuring the correct …

Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs

2024 · arXiv (Cornell University)

Large Language Models (LLMs) have shown remarkable capabilities in processing both natural and programming languages, which have enabled various applications in software engineering, such as requirement engineering, code generation, and software testing. However, existing code …