Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong
Constraint-based automatic symmetry detection
ASE, 2013.
@inproceedings{ASE-2013-Zhang0SLMD,
author = "Shao Jie Zhang and Jun Sun and Chengnian Sun and Yang Liu and Junwei Ma and Jin Song Dong",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693062",
pages = "15--25",
publisher = "{IEEE}",
title = "{Constraint-based automatic symmetry detection}",
year = 2013,
}