1:55DiffTech: A Tool for Differencing Similar Technologies from Question-and... (Teaser, ESEC/FSE 2020)ACM SIGSOFT80 viewsView & Download
2:22UIED: A Hybrid Tool for GUI Element Detection (Teaser, ESEC/FSE 2020)ACM SIGSOFT1.0K viewsView & Download
19:50ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and... (Video, ESEC/FSE 2020)ACM SIGSOFT160 viewsView & Download
8:51UIED: A Hybrid Tool for GUI Element Detection (Video, ESEC/FSE 2020)ACM SIGSOFT506 viewsView & Download
2:07Fuzzing: On the Exponential Cost of Vulnerability Discovery (Teaser, ESEC/FSE 2020)ACM SIGSOFT192 viewsView & Download
20:23Understanding and Automatically Detecting Conflicting Interactions between... (Video, ESEC/FSE 2020)ACM SIGSOFT249 viewsView & Download
2:01ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction a... (Teaser, ESEC/FSE 2020)ACM SIGSOFT115 viewsView & Download
18:34C2S: Translating Natural Language Comments to Formal Program Specifications (Video, ESEC/FSE 2020)ACM SIGSOFT174 viewsView & Download
19:55On Decomposing a Deep Neural Network into Modules (Video, ESEC/FSE 2020)ACM SIGSOFT414 viewsView & Download
9:39Generalizable and Interpretable Learning for Configuration Extrapolation (ESEC/FSE 2021)Yi Ding112 viewsView & Download
18:57DENAS: Automated Rule Generation by Knowledge Extraction from Neural Networks (Video, ESEC/FSE 2020)ACM SIGSOFT376 viewsView & Download