Le, X., Chu, D. H., Lo, D., Le Goues, C., &; Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM.https://doi.org/10.1145/3092703.3098225 

Trinh, M., Chu, D. H., &; Jaffar, J. (2017). Model counting for recursively-defined strings. In R. Majumdar &; V. Kundak (Eds.) (Vol. 10427, pp. 399–418). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer.https://doi.org/10.1007/978-3-319-63390-9_21 

Le, X., Chu, D. H., Lo, D., Le Goues, C., &; Visser, W. (2017). : Syntax- and semantic-guided repair synthesis via programming by examples (Vol. 0154, pp. 593–604). Presented at the FSE: Foundations of Software Engineering, Paderborn, Germany: ACM.https://doi.org/10.1145/3106237.3106309