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