Abstract: UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper ...
Abstract: In recent years, Large Language Models (LLMs) have been extensively used in several Software Engineering tasks, from requirements analysis to coding and software testing. Research has proved ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback