Willem Visser

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 44

Top Venues

ACM SIGSOFT Softw. Eng. Notes

ESEC/SIGSOFT FSE

J. Informetrics

ASE

Publications

Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
Shifting Left for Early Detection of Machine-Learning Bugs. FM (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR (2023)
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE (2023)
Ke Li, Heng Yang, Willem Visser
Evolutionary Multi-Task Injection Testing on Web Application Firewalls. CoRR (2022)
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE (2022)
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE (2021)
Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
Improving Symbolic Automata Learning with Concolic Execution. FASE (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Jan Taljaard, Jaco Geldenhuys, Willem Visser
Constraint Caching Revisited. NFM (2020)
Willem Visser, Jaco Geldenhuys
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). TACAS (2) (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE (2020)
Alexander Leid, Brink van der Merwe, Willem Visser
Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. SAICSIT (2020)
Wim Keirsgieter, Willem Visser
Graft: Static Analysis of Java Bytecode with Graph Databases. SAICSIT (2020)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
Globalised vs averaged: Bias and ranking performance on the author level. J. Informetrics 13 (1) (2019)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
On the interplay between normalisation, bias, and performance of paper impact metrics. J. Informetrics 13 (1) (2019)
Cyrille Artho, Willem Visser
Java Pathfinder at SV-COMP 2019 (Competition Contribution). TACAS (3) (2019)
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
SymInfer: Inferring Program Invariants using Symbolic States. CoRR (2019)
Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser
Symbolic Pathfinder for SV-COMP - (Competition Contribution). TACAS (3) (2019)
Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44 (6) (2018)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
Author ranking evaluation at scale. J. Informetrics 12 (3) (2018)
Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA (2018)
Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
How to evaluate rankings of academic entities using test data. J. Informetrics 12 (3) (2018)
Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser
Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM (2018)
Willem Visser, Corina S. Pasareanu
Probabilistic programming for Java using symbolic execution and model counting. SAICSIT (2017)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE (2017)
Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser
Software Engineering Research at the International Conference on Software Engineering in 2016. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA (2017)
Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser
Writing good software engineering research papers: revisited. ICSE (Companion Volume) (2017)
Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser
Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
SymInfer: inferring program invariants using symbolic states. ASE (2017)
Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Addressing challenges in obtaining high coverage when model checking Android applications. SPIN (2017)
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Field-exhaustive testing. SIGSOFT FSE (2016)
Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk
StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Willem Visser
What makes killing a mutant hard. ASE (2016)
Marcel Dunaiski, Willem Visser, Jaco Geldenhuys
Evaluating paper and author ranking algorithms using impact and contribution awards. J. Informetrics 10 (2) (2016)
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41 (7) (2015)
Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
Probabilistic Program Analysis. GTTSE (2015)
Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser
Environment Modeling Using Runtime Values for JPF-Android. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management (2015)
Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser
Model Counting for Complex Data Structures. SPIN (2015)
Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Generation of Library Models for Verification of Android Applications. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser
SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Computer 48 (11) (2015)
Heila van der Merwe, Brink van der Merwe, Willem Visser
Execution and property specifications for JPF-android. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
Statistical symbolic execution with informed sampling. SIGSOFT FSE (2014)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
Compositional solution space quantification for probabilistic software analysis. PLDI (2014)
Antonio Filieri, Corina S. Pasareanu, Willem Visser
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering (2014)
Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE (2014)
Willem Visser, Nikolaj Bjørner, Natarajan Shankar
Software engineering and automated deduction. FOSE (2014)
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Bounded Lazy Initialization. NASA Formal Methods (2013)
Peter C. Mehlitz, Neha Rungta, Willem Visser
A hands-on Java PathFinder tutorial. ICSE (2013)
Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20 (3) (2013)
Gregory W. Hislop, Mark A. Ardis, David Budgen, Mark J. Sebern, Jeff Offutt, Willem Visser
Revision of the SE 2004 curriculum model. SIGCSE (2013)
Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser
Town hall discussion of SE 2004 revisions (panel). ICSE (2013)
Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser
Workshop on revisions to SE 2004. CSEE&T (2013)
Antonio Filieri, Corina S. Pasareanu, Willem Visser
Reliability analysis in symbolic pathfinder. ICSE (2013)
Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE (2012)
Heila van der Merwe, Brink van der Merwe, Willem Visser
Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser
Probabilistic symbolic execution. ISSTA (2012)
Marcel Dunaiski, Willem Visser
Comparing paper ranking algorithms. SAICSIT (2012)
Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys
Symbolic execution of programs with strings. SAICSIT (2012)
Willem Visser, Matthew B. Dwyer, Michael W. Whalen
The hidden models of model checking. Softw. Syst. Model. 11 (4) (2012)
Corina S. Pasareanu, Neha Rungta, Willem Visser
Symbolic execution with mixed concrete-symbolic solving. ISSTA (2011)
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
Symbolic execution for software testing in practice: preliminary assessment. ICSE (2011)
Willem Visser
Infinitely Often Testing - (Extended Abstract). ICTAC (2011)
Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
FITE: future integrated testing environment. FoSER (2010)
Andrew Ireland, Willem Visser
Guest Editorial. Autom. Softw. Eng. 17 (2) (2010)
Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors (2010)
Willem Visser, Jaco Geldenhuys
Impendulo: debugging the programmer. ASE (2010)
Willem Visser
Who Really Cares If the Program Crashes?. SPIN (2009)
Neha Rungta, Eric G. Mercer, Willem Visser
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN (2009)
Corina S. Pasareanu, Willem Visser
A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Saswat Anand, Corina S. Pasareanu, Willem Visser
Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser
Property-based Slicing for Agent Verification. J. Log. Comput. 19 (6) (2009)
Corina S. Pasareanu, Radek Pelánek, Willem Visser
Predicate Abstraction with Under-Approximation Refinement. Log. Methods Comput. Sci. 3 (1) (2007)
Corina S. Pasareanu, Willem Visser
Symbolic Execution and Model Checking for Testing. Haifa Verification Conference (2007)
Corina S. Pasareanu, Radek Pelánek, Willem Visser
Predicate Abstraction with Under-approximation Refinement CoRR (2007)
Saswat Anand, Corina S. Pasareanu, Willem Visser
JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS (2007)
Aaron Tomb, Guillaume P. Brat, Willem Visser
Variably interprocedural program analysis for runtime error detection. ISSTA (2007)
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE (2007)
Stefan Edelkamp, Stefan Leue, Willem Visser
06172 Executive Summary -- Directed Model Checking. Directed Model Checking (2006)
Byron Cook, Scott D. Stoller, Willem Visser
Preface. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. 12 (2) (2006)
Stefan Edelkamp, Stefan Leue, Willem Visser
06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking (2006)
Saswat Anand, Corina S. Pasareanu, Willem Visser
Symbolic Execution with Abstract Subsumption Checking. SPIN (2006)
Willem Visser, Corina S. Pasareanu, Radek Pelánek
Test input generation for java containers using state matching. ISSTA (2006)
John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. 26 (2) (2005)
Corina S. Pasareanu, Radek Pelánek, Willem Visser
Concrete Model Checking with Abstract Matching and Refinement. CAV (2005)
Scott D. Stoller, Willem Visser
Foreword. Formal Methods Syst. Des. 26 (2) (2005)
Willem Visser, Corina S. Pasareanu, Radek Pelánek
Test input generation for red-black trees using abstraction. ASE (2005)
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
Model Checking Real Time Java Using Java PathFinder. ATVA (2005)
Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
Combining test case generation and runtime verification. Theor. Comput. Sci. 336 (2-3) (2005)
Willem Visser, Peter C. Mehlitz
Model Checking Programs with Java PathFinder. SPIN (2005)
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
State-Space Reduction Techniques in Agent Verification. AAMAS (2004)
Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
Test input generation with java PathFinder. ISSTA (2004)
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Model Checking Rational Agents. IEEE Intell. Syst. 19 (5) (2004)
Alex Groce, Willem Visser
Heuristics for model checking Java programs. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. 25 (2-3) (2004)
Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
Analyzing Interaction Orderings with Model Checking. ASE (2004)

Willem Visser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Willem Visser