Artigos com autorizações de acesso público - Willem VisserSaiba mais
14 artigos disponíveis publicamente
S3: syntax-and semantic-guided repair synthesis via programming by examples
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Autorizações: US National Science Foundation, Austrian Science Fund
JFIX: semantics-based repair of Java programs via symbolic PathFinder
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
Autorizações: Austrian Science Fund
Towards model checking android applications
G Bai, Q Ye, Y Wu, H Botha, J Sun, Y Liu, JS Dong, W Visser
IEEE Transactions on Software Engineering 44 (6), 595-612, 2017
Autorizações: National Research Foundation, South Africa, National Research Foundation …
Symlnfer: Inferring program invariants using symbolic states
TV Nguyen, MB Dwyer, W Visser
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
Autorizações: US National Science Foundation
Saffron: Adaptive grammar-based fuzzing for worst-case analysis
XBD Le, C Pasareanu, R Padhye, D Lo, W Visser, K Sen
ACM SIGSOFT Software Engineering Notes 44 (4), 14-14, 2021
Autorizações: US National Science Foundation
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Autorizações: Government of Argentina
Java Ranger: Statically summarizing regions for efficient symbolic execution of Java
V Sharma, S Hussein, MW Whalen, S McCamant, W Visser
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Autorizações: US National Science Foundation, US Department of Defense
Java Ranger at SV-COMP 2020 (competition contribution)
V Sharma, S Hussein, MW Whalen, S McCamant, W Visser
International Conference on Tools and Algorithms for the Construction and …, 2020
Autorizações: US National Science Foundation
Monte Carlo tree search for finding costly paths in programs
K Luckow, CS Păsăreanu, W Visser
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
Autorizações: US Department of Defense
Neural-based test oracle generation: A large-scale evaluation and lessons learned
SB Hossain, A Filieri, MB Dwyer, S Elbaum, W Visser
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
Autorizações: US Department of Defense
Probabilistic programming for Java using symbolic execution and model counting
W Visser, CS Păsăreanu
Proceedings of the South African Institute of Computer Scientists and …, 2017
Autorizações: National Research Foundation, South Africa
Constraint caching revisited
J Taljaard, J Geldenhuys, W Visser
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
Autorizações: National Research Foundation, South Africa
Test input generation with Java PathFinder: then and now (invited talk abstract)
S Khurshid, CS Păsăreanu, W Visser
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Autorizações: US National Science Foundation
Veritesting challenges in symbolic execution of Java
V Sharma, MW Whalen, S McCamant, W Visser
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
Autorizações: US National Science Foundation
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador