Jul 2026· International Seminar on Intelligent Technology and Its Applications· pp. 970-975· 0 citations· 20 references
Abstract
Conflicts in functional requirements are a common problem in software development. Conflicts often lead to inconsistencies and failures in the design or implementation stages. Although the combination of clustering and a Rule-Based System (RBS) can narrow the scope of conflict checking, its accuracy is not optimal when functional requirement sentences do not fall within the checking rules of the Rule-Based System. This study attempts to overcome this limitation with a multi-agent framework as an additional checking layer after Clustering and the Rule-Based System. Each agent has its own specific task, with the agents used being Lexical, Contextual, Logic, Natural Language Inference (NLI), Consensus, and Explainability. Experiments on two public datasets show that the proposed framework consistently outperforms the clustering and RBS baseline, achieving F1-scores of 0.828 on PURE (+5.3%) and 0.375 on OPENCOSS (+207% relative improvement), with false positives reduced by 81.2% on OPENCOSS, demonstrating the effectiveness of the multi-agent layer in handling cases that RBS alone cannot resolve.
A multi-agent testing framework in which requirement analysis, test-case generation, sandboxed execution, and defect detection are delegated to four distinct agents, and in which detection rests on a composite rule combining the execution signal with the semantic judgment of a dedicated diagnostic agent.
Yuxuan Li· Transactions on Computing Sc...· 0 citations
A case study of one LLM coding agent implementing a multi-component data system against a detailed pre-existing specification, and evaluates the one retrieval trade-off specified in that architecture: restricting candidates to a graph-identified entity set before ranking versus unfiltered search.
Software systems must evolve as requirements and environments change, which makes extensibility a central quality goal. The SOLID principles, five object-oriented design principles, are widely endorsed in software engineering practice to evaluate software quality. However, automatically detecting violations of SOLID pr...
Jia-He Chen, Jia-Cheng Shen· Proceedings of the 1st Inter...· 0 citations
An LLM-based prototype designed to support the application of a documented rule catalog within GitLab merge requests is presented, which demonstrates the technical feasibility of integrating rule-based governance with LLM-supported contextual interpretation in a practical GitLab workflow.
Sehyang Na, D. Kostunin· TH Wildau Engineering and Na...· 0 citations
The long-term success of a software system relies heavily on its un-derlying architecture, which dictates its performance with respect to quality attributes. Software Architecture Evaluation methods, such as the Architecture Tradeoff Analysis Method (ATAM) and the Software Architecture Analysis Method (SAAM), are widel...
Adyansh Kakran, Sathvika Miryala, Karthik Vaidhyanathan· Proceedings of the 1st Inter...· 0 citations
Ensuring MISRA C compliance is crucial for the safety and reliability of embedded software. For this purpose, industries utilize static rule checkers but suffer high ratios of both missed violations and false alarms. Although companies also try to utilize LLMs for this purpose, existing LLM-based approaches have subopt...
Ahcheong Lee, Yeongbin Kang, Se-Chang Jang et al.· Proceedings of the 41st IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.