1 Programming by Example Made Easy
来源:ACM T SOFTW ENG METH( P 1049-331X E 1557-7392 ) 发表时间: 2024/01
类型:期刊论文 为本人加分
2 Push-Button Synthesis ofWatch Companions for Android Apps
来源:PROC INT CONF SOFTW( P 0270-5257 E ) 发表时间: 2022/01
类型:会议论文 为本人加分
3 On interleaving space exploration of multi-threaded programs
来源:FRONT COMPUT SCI-CHI( P 2095-2228 E 2095-2236 ) 发表时间: 2021/08
类型:期刊论文 为本人加分
4 Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive Systems
来源:( P E ) 发表时间: 2021/01
类型:会议论文 为本人加分
5 PASTA: Synthesizing Object State Transformers for Dynamic Software Updates
来源:PROC IEEE ACM INT C( P 2574-1926 E ) 发表时间: 2021/01
类型:会议论文 为本人加分
6 Synthesizing Object State Transformers for Dynamic Software Updates
来源:PROC INT CONF SOFTW( P 0270-5257 E ) 发表时间: 2021/01
类型:会议论文 为本人加分
7 WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements
来源:J SYST SOFTWARE( P 0164-1212 E 1873-1228 ) 发表时间: 2020/09
类型:期刊论文 为本人加分
8 Perspectives on search strategies in automated test input generation
来源:FRONT COMPUT SCI-CHI( P 2095-2228 E 2095-2236 ) 发表时间: 2020/06
类型:期刊论文 为本人加分
9 Testing File System Implementations on Layered Models
来源:PROC INT CONF SOFTW( P 0270-5257 E ) 发表时间: 2020/01
类型:会议论文 为本人加分
10 ComboDroid: Generating High-Quality Test Inputs for Android Apps via Use Case Combinations
来源:PROC INT CONF SOFTW( P 0270-5257 E ) 发表时间: 2020/01
类型:会议论文 为本人加分