Willem Visser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
11
Active years
2000–2023
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Shifting Left for Early Detection of Machine-Learning Bugs. | Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schf, Omer Tripp, Willem Visser |
| 2020 | FASE | Improving Symbolic Automata Learning with Concolic Execution. | Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser |
| 2020 | TACAS | Java Ranger at SV-COMP 2020 (Competition Contribution). | Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser |
| 2020 | TACAS | COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). | Willem Visser, Jaco Geldenhuys |
| 2019 | TACAS | Java Pathfinder at SV-COMP 2019 (Competition Contribution). | Cyrille Artho, Willem Visser |
| 2019 | TACAS | Symbolic Pathfinder for SV-COMP - (Competition Contribution). | Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser |
| 2018 | ISSTA | Test input generation with Java PathFinder: then and now (invited talk abstract). | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2018 | SEFM | Monte Carlo Tree Search for Finding Costly Paths in Programs. | Kasper Se Luckow, Corina S. Pasareanu, Willem Visser |
| 2017 | ICSE | Writing good software engineering research papers: revisited. | Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser |
| 2017 | ISSTA | JFIX: semantics-based repair of Java programs via symbolic PathFinder. | Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser |
| 2014 | ICSE | Software engineering and automated deduction. | Willem Visser, Nikolaj S. Bjrner, Natarajan Shankar |
| 2014 | PLDI | Compositional solution space quantification for probabilistic software analysis. | Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
| 2013 | ICSE | Town hall discussion of SE 2004 revisions (panel). | Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser |
| 2013 | ICSE | Reliability analysis in symbolic pathfinder. | Antonio Filieri, Corina S. Pasareanu, Willem Visser |
| 2013 | ICSE | A hands-on Java PathFinder tutorial. | Peter C. Mehlitz, Neha Rungta, Willem Visser |
| 2013 | SIGCSE | Revision of the SE 2004 curriculum model. | Gregory W. Hislop, Mark A. Ardis, David Budgen, Mark J. Sebern, Jeff Offutt, Willem Visser |
| 2012 | ISSTA | Probabilistic symbolic execution. | Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ICTAC | Infinitely Often Testing - (Extended Abstract). | Willem Visser |
| 2011 | ISSTA | Symbolic execution with mixed concrete-symbolic solving. | Corina S. Pasareanu, Neha Rungta, Willem Visser |
| 2007 | ICSE | Formal Software Analysis Emerging Trends in Software Model Checking. | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
| 2007 | ISSTA | Variably interprocedural program analysis for runtime error detection. | Aaron Tomb, Guillaume P. Brat, Willem Visser |
| 2007 | TACAS | JPF-SE: A Symbolic Execution Extension to Java PathFinder. | Saswat Anand, Corina S. Pasareanu, Willem Visser |
| 2006 | ISSTA | Test input generation for java containers using state matching. | Willem Visser, Corina S. Pasareanu, Radek Pelnek |
| 2005 | ATVA | Model Checking Real Time Java Using Java PathFinder. | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
| 2005 | CAV | Concrete Model Checking with Abstract Matching and Refinement. | Corina S. Pasareanu, Radek Pelnek, Willem Visser |
| 2004 | ISSTA | Test input generation with java PathFinder. | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
| 2003 | CAV | Model Checking Multi-Agent Programs with CASP. | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge |
| 2003 | TACAS | Generalized Symbolic Execution for Model Checking and Testing. | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2002 | ISSTA | Model checking Java programs using structural heuristics. | Alex Groce, Willem Visser |
| 2001 | ICSE | Tool-Supported Program Abstraction for Finite-State Verification. | Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser |
| 2001 | ICSE | The Second International Workshop on Automated Program Analysis, Testing and Verification. | Nigel Tracey, John Penix, Willem Visser |
| 2001 | TACAS | Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
| 2000 | ICSE | Verification of time partitioning in the DEOS scheduler kernel. | John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger |
| 2000 | ICSE | The First International Workshop on Automated Program Analysis, Testing and Verification. | Nigel Tracey, John Penix, Willem Visser |