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

by LE, Xuan Bach D., CHU, Duc-Hiep, LO, David, LE, GOUES, VISSER, Willem
Published 2017

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

by LE, Xuan Bach D., PASAREANU, Corina, PADHYE, Rohan, LO, David, VISSER, Willem, SEN, Koushik
Published 2019

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

by LE, Xuan Bach D., PASAREANU, Corina, PADHYE, Rohan, LO, David, VISSER, Willem, SEN, Koushik
Published 2019

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

by LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
Published 2017

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

by LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, GOUES, Claire Le, VISSER, Willem
Published 2017

Towards model checking android applications

by Bai, Guangdong, Ye, Quanqi, Wu, Yongzheng, Botha, Heila, Sun, Jun, Liu, Yang, Dong, Jin Song, Visser, Willem
Published 2020

Towards model checking Android applications

by BAI, Guangdong, YE, Quanqi, WU, Yongzheng, BOTHA, Heila, SUN, Jun, LIU, Yang, DONG, Jin Song, VISSER, Willem
Published 2018