Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Supporting System Testing with a Multi-Agent LLM-based Framework for Knowledge Graph Extraction: A Case Study with Ethernet Switch Systems
Rongqi Pan, Mahboubeh Dadkhah, Jean Baptiste Minani +3
Technical documents contain rich domain knowledge for automating downstream tasks such as system testing. While this paper focuses on Ethernet switch configuration manuals (ESCMs),…
cs.SE2025
Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara +2
Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, veri…