Constraint-Based Automatic Symmetry Detection

Publication
28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Chengnian Sun
Chengnian Sun
Associate Professor of Computer Science

My research interests include software engineering and programming languages.