3 Publications

Mark all

[3]
2017 | Published | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI | WoS
 
[2]
2017 | Published | Conference Paper | IST-REx-ID: 962
M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.
View | DOI | WoS
 
[1]
2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


3 Publications

Mark all

[3]
2017 | Published | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI | WoS
 
[2]
2017 | Published | Conference Paper | IST-REx-ID: 962
M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.
View | DOI | WoS
 
[1]
2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed