JFIX: Semantics-based repair of Java programs via symbolic PathFinder

由 LE, Xuan Bach D., CHU, Duc-Hiep, LO, David, LE, GOUES, VISSER, Willem
出版 2017

SAFFRON: Adaptive grammar-based fuzzing for worst-case analysis

由 LE, Xuan Bach D., PASAREANU, Corina, PADHYE, Rohan, LO, David, VISSER, Willem, SEN, Koushik
出版 2019

SAFFRON: Adaptive grammar-based fuzzing for worst-case analysis

由 LE, Xuan Bach D., PASAREANU, Corina, PADHYE, Rohan, LO, David, VISSER, Willem, SEN, Koushik
出版 2019

S3: Syntax- and semantic-guided repair synthesis via programming by examples

由 LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
出版 2017

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

由 LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, GOUES, Claire Le, VISSER, Willem
出版 2017

Towards model checking android applications

由 Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem
出版 2020

Towards model checking Android applications

由 BAI, Guangdong, YE, Quanqi, WU, Yongzheng, BOTHA, Heila, SUN, Jun, LIU, Yang, DONG, Jin Song, VISSER, Willem
出版 2018