Constraint-based automatic symmetry detection

Shao Jie Zhang, Jun Sun 0001, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong. Constraint-based automatic symmetry detection. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. pages 15-25, IEEE, 2013. [doi]

Authors

Shao Jie Zhang

This author has not been identified. Look up 'Shao Jie Zhang' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Chengnian Sun

This author has not been identified. Look up 'Chengnian Sun' in Google

Yang Liu

This author has not been identified. Look up 'Yang Liu' in Google

Junwei Ma

This author has not been identified. Look up 'Junwei Ma' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google