Memory efficient state storage in Spin. - Willem Visser; Howard Barringer (The Spin Verification System, 1996)

Efficient CTL* model checking for analysis of rainbow designs. - Willem Visser; Howard Barringer; Donal Fellows; Graham Gough; Alan R. Williams (CHARME, 1997)

Using predicate abstraction to reduce object-oriented programs for model checking. - Willem Visser; Seungjoon Park; John Penix (FMSP, 2000)

Verification of time partitioning in the DEOS scheduler kernel. - John Penix; Willem Visser; Eric Engstrom; Aaron Larson; Nicholas Weininger (ICSE, 2000)

Model Checking Programs. - Willem Visser; Klaus Havelund; Guillaume P. Brat; Seungjoon Park (ASE, 2000)

Practical CTL* Model Checking: Should SPIN be Extended? - Willem Visser; Howard Barringer (Int. J. Softw. Tools Technol. Transf., 2000)

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 (ICSE, 2001)

The Second International Workshop on Automated Program Analysis, Testing and Verification. - Nigel Tracey; John Penix; Willem Visser (ICSE, 2001)

Combining Static Analysis and Model Checking for Software Analysis. - Guillaume P. Brat; Willem Visser (ASE, 2001)

Addressing Dynamic Issues of Program Model Checking. - Flavio Lerda; Willem Visser (SPIN, 2001)

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. - Corina S. Pasareanu; Matthew B. Dwyer; Willem Visser (TACAS, 2001)

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. - Charles Pecheur; Willem Visser; Reid G. Simmons (AI Mag., 2001)

Preface. - Scott D. Stoller; Willem Visser (Workshop on Software Model Checking @ CAV, 2001)

The first international workshop on automated program analysis, testing and verification. - John Penix; Nigel Tracey; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2001)

Automated analysis, verification and testing. - Nigel Tracey; John Penix; Willem Visser (Softw. Focus, 2001)

Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). - Nigel Tracey; John Penix; Willem Visser (Softw. Test. Verification Reliab., 2001)

Model checking Java programs using structural heuristics. - Alex Groce; Willem Visser (ISSTA, 2002)

Heuristic Model Checking for Java Programs. - Alex Groce; Willem Visser (SPIN, 2002)

Program model checking as a new trend. - Klaus Havelund; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2002)

Experiments with Test Case Generation and Runtime Analysis. - Cyrille Artho; Doron Drusinsky; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Willem Visser (Abstract State Machines, 2003)

Model Checking Multi-Agent Programs with CASP. - Rafael H. Bordini; Michael Fisher 001; Carmen Pardavila; Willem Visser; Michael J. Wooldridge (CAV, 2003)

Auto-generating Test Sequences Using Model Checkers: A Case Study. - Mats Per Erik Heimdahl; Sanjai Rayadurgam; Willem Visser; George Devaraj; Jimin Gao (FATES, 2003)

Verifiable Multi-agent Programs. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (PROMAS, 2003)

What Went Wrong: Explaining Counterexamples. - Alex Groce; Willem Visser (SPIN, 2003)

Generalized Symbolic Execution for Model Checking and Testing. - Sarfraz Khurshid; Corina S. Pasareanu; Willem Visser (TACAS, 2003)

Model Checking Programs. - Willem Visser; Klaus Havelund; Guillaume P. Brat; Seungjoon Park; Flavio Lerda (Autom. Softw. Eng., 2003)

SoftMC 2003: Workshop on Software Model Checking. - Byron Cook; Scott D. Stoller; Willem Visser (SoftMC@CAV, 2003)

Finding feasible abstract counter-examples. - Corina S. Pasareanu; Matthew B. Dwyer; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2003)

State-Space Reduction Techniques in Agent Verification. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (AAMAS, 2004)

Test input generation with java PathFinder. - Willem Visser; Corina S. Pasareanu; Sarfraz Khurshid (ISSTA, 2004)

Analyzing Interaction Orderings with Model Checking. - Matthew B. Dwyer; Robby; Oksana Tkachuk; Willem Visser (ASE, 2004)

Verification of Java Programs Using Symbolic Execution and Invariant Generation. - Corina S. Pasareanu; Willem Visser (SPIN, 2004)

Model Checking Rational Agents. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (IEEE Intell. Syst., 2004)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Heuristics for model checking Java programs. - Alex Groce; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2004)

Model Checking Real Time Java Using Java PathFinder. - Gary Lindstrom; Peter C. Mehlitz; Willem Visser (ATVA, 2005)

Concrete Model Checking with Abstract Matching and Refinement. - Corina S. Pasareanu; Radek Pelánek; Willem Visser (CAV, 2005)

Test input generation for red-black trees using abstraction. - Willem Visser; Corina S. Pasareanu; Radek Pelánek (ASE, 2005)

Model Checking Programs with Java PathFinder. - Willem Visser; Peter C. Mehlitz (SPIN, 2005)

Preface. - Byron Cook; Scott D. Stoller; Willem Visser (SoftMC@CAV, 2005)

Verifying Time Partitioning in the DEOS Scheduling Kernel. - John Penix; Willem Visser; Seungjoon Park; Corina S. Pasareanu; Eric Engstrom; Aaron Larson; Nicholas Weininger (Formal Methods Syst. Des., 2005)

Foreword. - Scott D. Stoller; Willem Visser (Formal Methods Syst. Des., 2005)

Combining test case generation and runtime verification. - Cyrille Artho; Howard Barringer; Allen Goldberg; Klaus Havelund; Sarfraz Khurshid; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Koushik Sen; Willem Visser; Richard Washington (Theor. Comput. Sci., 2005)

06172 Executive Summary – Directed Model Checking. - Stefan Edelkamp; Stefan Leue; Willem Visser (Directed Model Checking, 2006)

06172 Abstracts Collection – Directed Model Checking. - Stefan Edelkamp; Stefan Leue; Willem Visser (Directed Model Checking, 2006)

Test input generation for java containers using state matching. - Willem Visser; Corina S. Pasareanu; Radek Pelánek (ISSTA, 2006)

Symbolic Execution with Abstract Subsumption Checking. - Saswat Anand; Corina S. Pasareanu; Willem Visser (SPIN, 2006)

Verifying Multi-agent Programs by Model Checking. - Rafael H. Bordini; Michael Fisher 001; Willem Visser; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2006)

Symbolic Execution and Model Checking for Testing. - Corina S. Pasareanu; Willem Visser (Haifa Verification Conference, 2007)

Formal Software Analysis Emerging Trends in Software Model Checking. - Matthew B. Dwyer; John Hatcliff; Robby; Corina S. Pasareanu; Willem Visser (FOSE, 2007)

Variably interprocedural program analysis for runtime error detection. - Aaron Tomb; Guillaume P. Brat; Willem Visser (ISSTA, 2007)

JPF-SE: A Symbolic Execution Extension to Java PathFinder. - Saswat Anand; Corina S. Pasareanu; Willem Visser (TACAS, 2007)

Predicate Abstraction with Under-Approximation Refinement. - Corina S. Pasareanu; Radek Pelánek; Willem Visser (Log. Methods Comput. Sci., 2007)

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. - Neha Rungta; Eric G. Mercer; Willem Visser (SPIN, 2009)

Who Really Cares If the Program Crashes?. - Willem Visser (SPIN, 2009)

Property-based Slicing for Agent Verification. - Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge; Willem Visser (J. Log. Comput., 2009)

Symbolic execution with abstraction. - Saswat Anand; Corina S. Pasareanu; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2009)

A survey of new trends in symbolic execution for software testing and analysis. - Corina S. Pasareanu; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2009)

Impendulo: debugging the programmer. - Willem Visser; Jaco Geldenhuys (ASE, 2010)

FITE: future integrated testing environment. - Michael W. Whalen; Patrice Godefroid; Leonardo Mariani; Andrea Polini; Nikolai Tillmann; Willem Visser (FoSER, 2010)

Guest Editorial. - Andrew Ireland; Willem Visser (Autom. Softw. Eng., 2010)

Symbolic execution for software testing in practice: preliminary assessment. - Cristian Cadar; Patrice Godefroid; Sarfraz Khurshid; Corina S. Pasareanu; Koushik Sen; Nikolai Tillmann; Willem Visser (ICSE, 2011)

Infinitely Often Testing - (Extended Abstract). - Willem Visser (ICTAC, 2011)

Symbolic execution with mixed concrete-symbolic solving. - Corina S. Pasareanu; Neha Rungta; Willem Visser (ISSTA, 2011)

Probabilistic symbolic execution. - Jaco Geldenhuys; Matthew B. Dwyer; Willem Visser (ISSTA, 2012)

Test-case generation and bug-finding through symbolic execution. - Willem Bester; Cornelia P. Inggs; Willem Visser (SAICSIT, 2012)

Comparing paper ranking algorithms. - Marcel Dunaiski; Willem Visser (SAICSIT, 2012)

Automated coverage calculation and test case generation. - G. C. Morrison; Cornelia P. Inggs; Willem Visser (SAICSIT, 2012)

Symbolic execution of programs with strings. - Gideon Redelinghuys; Willem Visser; Jaco Geldenhuys (SAICSIT, 2012)

Green: reducing, reusing and recycling constraints in program analysis. - Willem Visser; Jaco Geldenhuys; Matthew B. Dwyer (SIGSOFT FSE, 2012)

Verifying android applications using Java PathFinder. - Heila van der Merwe; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2012)

The hidden models of model checking. - Willem Visser; Matthew B. Dwyer; Michael W. Whalen (Softw. Syst. Model., 2012)

Workshop on revisions to SE 2004. - Mark A. Ardis; David Budgen; Gregory W. Hislop; Jeff Offutt; Mark J. Sebern; Willem Visser (CSEE&T, 2013)

Town hall discussion of SE 2004 revisions (panel). - Mark A. Ardis; David Budgen; Gregory W. Hislop; Jeff Offutt; Mark J. Sebern; Willem Visser (ICSE, 2013)

Reliability analysis in symbolic pathfinder. - Antonio Filieri; Corina S. Pasareanu; Willem Visser (ICSE, 2013)

A hands-on Java PathFinder tutorial. - Peter C. Mehlitz; Neha Rungta; Willem Visser (ICSE, 2013)

Bounded Lazy Initialization. - Jaco Geldenhuys; Nazareno Aguirre; Marcelo F. Frias; Willem Visser (NASA Formal Methods, 2013)

Revision of the SE 2004 curriculum model. - Gregory W. Hislop; Mark A. Ardis; David Budgen; Mark J. Sebern; Jeff Offutt; Willem Visser (SIGCSE, 2013)

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. - Corina S. Pasareanu; Willem Visser; David H. Bushnell; Jaco Geldenhuys; Peter C. Mehlitz; Neha Rungta (Autom. Softw. Eng., 2013)

Software engineering and automated deduction. - Willem Visser; Nikolaj S. Bjørner; Natarajan Shankar (FOSE, 2014)

Exact and approximate probabilistic symbolic execution for nondeterministic programs. - Kasper Søe Luckow; Corina S. Pasareanu; Matthew B. Dwyer; Antonio Filieri; Willem Visser (ASE, 2014)

Compositional solution space quantification for probabilistic software analysis. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu; Willem Visser (PLDI, 2014)

Reliability Analysis in Symbolic Pathfinder: A brief summary. - Antonio Filieri; Corina S. Pasareanu; Willem Visser (Software Engineering, 2014)

Execution and property specifications for JPF-android. - Heila van der Merwe; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2014)

Probabilistic Program Analysis. - Matthew B. Dwyer; Antonio Filieri; Jaco Geldenhuys; Mitchell J. Gerrard; Corina S. Pasareanu; Willem Visser (GTTSE, 2015)

Statistical Symbolic Execution with Informed Sampling. - Antonio Filieri; Corina S. Pasareanu; Willem Visser; Jaco Geldenhuys (Software Engineering & Management, 2015)

Model Counting for Complex Data Structures. - Antonio Filieri; Marcelo F. Frias; Corina S. Pasareanu; Willem Visser (SPIN, 2015)

SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. - Mark A. Ardis; David Budgen; Gregory W. Hislop; Jeff Offutt; Mark J. Sebern; Willem Visser (Computer, 2015)

Generation of Library Models for Verification of Android Applications. - Heila van der Merwe; Oksana Tkachuk; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

Environment Modeling Using Runtime Values for JPF-Android. - Heila van der Merwe; Oksana Tkachuk; Sean Nel; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. - Nicolás Rosner; Jaco Geldenhuys; Nazareno Aguirre; Willem Visser; Marcelo F. Frias (IEEE Trans. Software Eng., 2015)

What makes killing a mutant hard. - Willem Visser (ASE, 2016)

Field-exhaustive testing. - Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias; Willem Visser (SIGSOFT FSE, 2016)

Evaluating paper and author ranking algorithms using impact and contribution awards. - Marcel Dunaiski; Willem Visser; Jaco Geldenhuys (J. Informetrics, 2016)

StateComparator: Detecting Unbounded Variables Using JPF. - Heila Botha; Brink van der Merwe; Willem Visser; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2016)

Writing good software engineering research papers: revisited. - Christopher Theisen; Marcel Dunaiski; Laurie A. Williams; Willem Visser (ICSE (Companion Volume), 2017)

JFIX: semantics-based repair of Java programs via symbolic PathFinder. - Xuan-Bach Dinh Le 001; Duc-Hiep Chu; David Lo 001; Claire Le Goues; Willem Visser (ISSTA, 2017)

SymInfer: inferring program invariants using symbolic states. - ThanhVu Nguyen; Matthew B. Dwyer; Willem Visser (ASE, 2017)

Probabilistic programming for Java using symbolic execution and model counting. - Willem Visser; Corina S. Pasareanu (SAICSIT, 2017)

S3: syntax- and semantic-guided repair synthesis via programming by examples. - Xuan-Bach Dinh Le 001; Duc-Hiep Chu; David Lo 001; Claire Le Goues; Willem Visser (ESEC/SIGSOFT FSE, 2017)

Addressing challenges in obtaining high coverage when model checking Android applications. - Heila Botha; Oksana Tkachuk; Brink van der Merwe; Willem Visser (SPIN, 2017)

Veritesting Challenges in Symbolic Execution of Java. - Vaibhav Sharma 001; Michael W. Whalen; Stephen McCamant; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2017)

Software Engineering Research at the International Conference on Software Engineering in 2016. - Christopher Theisen; Marcel Dunaiski; Laurie A. Williams; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2017)

Test input generation with Java PathFinder: then and now (invited talk abstract). - Sarfraz Khurshid; Corina S. Pasareanu; Willem Visser (ISSTA, 2018)

Monte Carlo Tree Search for Finding Costly Paths in Programs. - Kasper Søe Luckow; Corina S. Pasareanu; Willem Visser (SEFM, 2018)

How to evaluate rankings of academic entities using test data. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2018)

Author ranking evaluation at scale. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2018)

Towards Model Checking Android Applications. - Guangdong Bai; Quanqi Ye; Yongzheng Wu; Heila Botha; Jun Sun 001; Yang Liu 003; Jin Song Dong; Willem Visser (IEEE Trans. Software Eng., 2018)

Java Pathfinder at SV-COMP 2019 (Competition Contribution). - Cyrille Artho; Willem Visser (TACAS (3), 2019)

Symbolic Pathfinder for SV-COMP - (Competition Contribution). - Yannic Noller; Corina S. Pasareanu; Aymeric Fromherz; Xuan-Bach Dinh Le 001; Willem Visser (TACAS (3), 2019)

On the interplay between normalisation, bias, and performance of paper impact metrics. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2019)

Globalised vs averaged: Bias and ranking performance on the author level. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2019)

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. - Xuan-Bach Dinh Le 001; Corina S. Pasareanu; Rohan Padhye; David Lo 001; Willem Visser; Koushik Sen (ACM SIGSOFT Softw. Eng. Notes, 2019)

Improving Symbolic Automata Learning with Concolic Execution. - Donato Clun; Phillip van Heerden; Antonio Filieri; Willem Visser (FASE, 2020)

Constraint Caching Revisited. - Jan Taljaard; Jaco Geldenhuys; Willem Visser (NFM, 2020)

Graft: Static Analysis of Java Bytecode with Graph Databases. - Wim Keirsgieter; Willem Visser (SAICSIT, 2020)

Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. - Alexander Leid; Brink van der Merwe; Willem Visser (SAICSIT, 2020)

Java Ranger: statically summarizing regions for efficient symbolic execution of Java. - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (ESEC/SIGSOFT FSE, 2020)

Java Ranger at SV-COMP 2020 (Competition Contribution). - Vaibhav Sharma 001; Soha Hussein; Michael W. Whalen; Stephen McCamant; Willem Visser (TACAS (2), 2020)

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). - Willem Visser; Jaco Geldenhuys (TACAS (2), 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

RAPID: checking API usage for the cloud in the cloud. - Michael Emmi; Liana Hadarean; Ranjit Jhala; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2021)

Input splitting for cloud-based static application security testing platforms. - Maria Christakis; Thomas Cottenier; Antonio Filieri; Linghui Luo; Muhammad Numair Mansur; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2022)

Evolutionary Multi-Task Injection Testing on Web Application Firewalls. - Ke Li 001; Heng Yang 008; Willem Visser (CoRR, 2022)

Shifting Left for Early Detection of Machine-Learning Bugs. - Ben Liblit; Linghui Luo; Alejandro Molina 002; Rajdeep Mukherjee; Zachary Patterson; Goran Piskachev; Martin Schäf; Omer Tripp; Willem Visser (FM, 2023)

Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. - Soneya Binta Hossain; Antonio Filieri; Matthew B. Dwyer; Sebastian G. Elbaum; Willem Visser (ESEC/SIGSOFT FSE, 2023)

Safe Validation of Pricing Agreements. - John Kolesar; Tancrède Lepoint; Martin Schäf; Willem Visser (SEIP@ICSE, 2025)