2 citations · 4 across the 5 of their papers we have counts for
5 papers
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
Zhiyong Chen, Jialun Cao, Chang Xu +1
Model checking in TLA+ provides strong correctness guarantees, yet practitioners continue to face significant challenges in interpreting counterexamples, understanding large state-…
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
Jialun Cao, Zhiyong Chen, Jiarong Wu +2
Code generation benchmarks such as HumanEval are widely adopted to evaluate LLMs' capabilities. However, after consolidating the latest 24 benchmarks, we noticed three significant…
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward
Ying Wang, Yibo Wang, Sinan Wang +5
Android introduces a new permission model that allows apps to request permissions at runtime rather than at the installation time since 6.0 (Marshmallow, API level 23). While this…
Hero: On the Chaos When PATH Meets Modules
Ying Wang, Liang Qiao, Chang Xu +5
Ever since its first release in 2009, the Go programming language (Golang) has been well received by software communities. A major reason for its success is the powerful support of…
Will Dependency Conflicts Affect My Program's Semantics?
Ying Wang, Rongxin Wu, Chao Wang +6
Java projects are often built on top of various third-party libraries. If multiple versions of a library exist on the classpath, JVM will only load one version and shadow the other…