2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.SE2020
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su, Yichen Yan, Jue Wang +5
Android apps are GUI-based event-driven software and have become ubiquitous in recent years. Obviously, functional correctness is critical for an app's success. However, in additio…
cs.HC2017
Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs
Ke Wang, Zhendong Su
Geometry theorem proving forms a major and challenging component in the K-12 mathematics curriculum. A particular difficult task is to add auxiliary constructions (i.e, additional…
cs.PL2017★ 2 cited
Data-Driven Feedback Generation for Introductory Programming Exercises
Ke Wang, RIshabh Singh, Zhendong Su
This paper introduces the "Search, Align, and Repair" data-driven program repair framework to automate feedback generation for introductory programming exercises. Distinct from exi…