MCIS

lab on Maintenance, Construction and Intelligence of Software

Email:




Recent News

  • [August 7, 2009] Website published!



Screenshots




Functionality

R3V3RS3 is a framework which provides an interactive GUI to specify patterns of conditional compilation usage in C code ("preprocessor blueprints") and a Perl script generator to detect all occurrences of these patterns. It can be used to evaluate the potential of extracting conditional compilation usage into aspects, to enforce programming conventions or to keep track of conditional compilation usage in general. R3V3RS3 is built on the Fetch reverse-engineering framework.




Publications

Latest Work

Mohammed Mehedi Hasan (*), Hao Li (*), Gopi Krishnan Rajbahadur, Bram Adams and Ahmed E. Hassan (2026). Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions, Transactions on Software Engineering and Methodology (TOSEM), ACM, to appear.


Kosei Horikawa, Hao Li (*), Yutaro Kashiwa, Bram Adams, Hajimu Iida and Ahmed E. Hassan (2026). Agentic Refactoring: An Empirical Study of AI Coding Agents, Transactions on Software Engineering and Methodology (TOSEM), ACM, to appear.


Lin Geng (*), Hao Li (*), Sidney Givigi and Bram Adams (2026). SwarmUpdate: Hierarchical Software Updates and Deep Learning Model Patching for Heterogeneous UAV Swarms, Transactions on Software Engineering and Methodology (TOSEM), ACM, to appear.


Worawalan Chatlatanagulchai, Hao Li (*), Yutaro Kashiwa, Brittany Reid, Kundjanasith Thonglek, Pattara Leelaprute, Arnon Rungsawang, Bundit Manaskasemsak, Bram Adams, Ahmed E. Hassan and Hajimu Iida (2026). Agent READMEs: An Empirical Study of Context Files for Agentic Coding, Transactions on Software Engineering and Methodology (TOSEM), ACM, to appear.