Xiaoni Lai
YOU?
Author Swipe
View article: A Study of Call Graph Construction for JVM-Hosted Languages
A Study of Call Graph Construction for JVM-Hosted Languages Open
Call graphs have many applications in software engineering, including bug-finding, security analysis, and code navigation in IDEs. However, the construction of call graphs requires significant investment in program analysis infrastructure.…
View article: FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models
FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models Open
A model of the feature-oriented requirements of a software system usually contains a large number of non-trivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend or verify such …