Constraint-Based Automatic Symmetry Detection

Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong
November, 2013
PDF Cite DOI
Type
Conference
Publication
28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Ccfa
Chengnian Sun
Chengnian Sun
Associate Professor of Computer Science

My research interests include software engineering and programming languages.