62 citations · 238 across the 21 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 2 cited
Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. T…
cs.SE2024
Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries
Xiufeng Xu, Fuman Xie, Chenguang Zhu +3
Modern AI- and Data-intensive software systems rely heavily on data science and machine learning libraries that provide essential algorithmic implementations and computational fram…