Willem Visser - RankMe

141 papers A* 20A 13B 4C 2Journal 44Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	DaNuoYi: Evolutionary Multitask Injection Testing on Web Application Firewalls. IEEE Trans. Software Eng. Ke Li, Heng Yang, Willem Visser
2025	—	`conf`	Safe Validation of Pricing Agreements. SEIP@ICSE John C. Kolesar, Tancrède Lepoint, Martin Schäf, Willem Visser
2023	—	`conf`	Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
2023	J	`jnl`	Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser
2023	B	`conf`	Shifting Left for Early Detection of Machine-Learning Bugs. FM Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
2022	J	`jnl`	Evolutionary Multi-Task Injection Testing on Web Application Firewalls. CoRR Ke Li, Heng Yang, Willem Visser
2022	—	`conf`	Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2021	—	`conf`	RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2020	—	`conf`	COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). TACAS (2) Willem Visser, Jaco Geldenhuys
2020	—	`conf`	Constraint Caching Revisited. NFM Jan Taljaard, Jaco Geldenhuys, Willem Visser
2020	—	`conf`	Graft: Static Analysis of Java Bytecode with Graph Databases. SAICSIT Wim Keirsgieter, Willem Visser
2020	B	`conf`	Improving Symbolic Automata Learning with Concolic Execution. FASE Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser
2020	—	`conf`	Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
2020	—	`conf`	Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
2020	—	`conf`	Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. SAICSIT Alexander Leid, Brink van der Merwe, Willem Visser
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2019	J	`jnl`	Globalised vs averaged: Bias and ranking performance on the author level. J. Informetrics Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2019	—	`conf`	Java Pathfinder at SV-COMP 2019 (Competition Contribution). TACAS (3) Cyrille Artho, Willem Visser
2019	J	`jnl`	On the interplay between normalisation, bias, and performance of paper impact metrics. J. Informetrics Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2019	J	`jnl`	Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
2019	J	`jnl`	SymInfer: Inferring Program Invariants using Symbolic States. CoRR ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
2019	—	`conf`	Symbolic Pathfinder for SV-COMP - (Competition Contribution). TACAS (3) Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser
2018	J	`jnl`	Author ranking evaluation at scale. J. Informetrics Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2018	J	`jnl`	How to evaluate rankings of academic entities using test data. J. Informetrics Marcel Dunaiski, Jaco Geldenhuys, Willem Visser
2018	B	`conf`	Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser
2018	A	`conf`	Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
2018	J	`jnl`	Towards Model Checking Android Applications. IEEE Trans. Software Eng. Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser
2017	—	`conf`	Addressing challenges in obtaining high coverage when model checking Android applications. SPIN Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser
2017	A	`conf`	JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
2017	—	`conf`	Probabilistic programming for Java using symbolic execution and model counting. SAICSIT Willem Visser, Corina S. Pasareanu
2017	—	`conf`	S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
2017	J	`jnl`	Software Engineering Research at the International Conference on Software Engineering in 2016. ACM SIGSOFT Softw. Eng. Notes Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser
2017	A*	`conf`	SymInfer: inferring program invariants using symbolic states. ASE ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser
2017	J	`jnl`	Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser
2017	—	`conf`	Writing good software engineering research papers: revisited. ICSE (Companion Volume) Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser
2016	J	`jnl`	Evaluating paper and author ranking algorithms using impact and contribution awards. J. Informetrics Marcel Dunaiski, Willem Visser, Jaco Geldenhuys
2016	—	`conf`	Field-exhaustive testing. SIGSOFT FSE Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
2016	A*	`ed.`	Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 ICSE Laura K. Dillon, Willem Visser, Laurie A. Williams
2016	—	`ed.`	Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume ICSE (Companion Volume) Laura K. Dillon, Willem Visser, Laurie A. Williams
2016	J	`jnl`	StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk
2016	A*	`conf`	What makes killing a mutant hard. ASE Willem Visser
2015	J	`jnl`	BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
2015	J	`jnl`	Environment Modeling Using Runtime Values for JPF-Android. ACM SIGSOFT Softw. Eng. Notes Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser
2015	J	`jnl`	Generation of Library Models for Verification of Android Applications. ACM SIGSOFT Softw. Eng. Notes Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser
2015	—	`conf`	Model Counting for Complex Data Structures. SPIN Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser
2015	—	`conf`	Probabilistic Program Analysis. GTTSE Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
2015	J	`jnl`	SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Computer Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser
2015	—	`conf`	Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2014	A*	`conf`	Compositional solution space quantification for probabilistic software analysis. PLDI Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
2014	A*	`conf`	Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
2014	J	`jnl`	Execution and property specifications for JPF-android. ACM SIGSOFT Softw. Eng. Notes Heila van der Merwe, Brink van der Merwe, Willem Visser
2014	C	`conf`	Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering Antonio Filieri, Corina S. Pasareanu, Willem Visser
2014	—	`conf`	Software engineering and automated deduction. FOSE Willem Visser, Nikolaj S. Bjørner, Natarajan Shankar
2014	—	`conf`	Statistical symbolic execution with informed sampling. SIGSOFT FSE Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2013	A*	`conf`	A hands-on Java PathFinder tutorial. ICSE Peter C. Mehlitz, Neha Rungta, Willem Visser
2013	—	`conf`	Bounded Lazy Initialization. NASA Formal Methods Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
2013	A*	`conf`	Reliability analysis in symbolic pathfinder. ICSE Antonio Filieri, Corina S. Pasareanu, Willem Visser
2013	A	`conf`	Revision of the SE 2004 curriculum model. SIGCSE Gregory W. Hislop, Mark A. Ardis, David Budgen, Mark J. Sebern, Jeff Offutt, Willem Visser
2013	J	`jnl`	Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
2013	A*	`conf`	Town hall discussion of SE 2004 revisions (panel). ICSE Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser
2013	—	`conf`	Workshop on revisions to SE 2004. CSEE&T Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser
2012	—	`conf`	Automated coverage calculation and test case generation. SAICSIT G. C. Morrison, Cornelia P. Inggs, Willem Visser
2012	—	`conf`	Comparing paper ranking algorithms. SAICSIT Marcel Dunaiski, Willem Visser
2012	—	`conf`	Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer
2012	A	`conf`	Probabilistic symbolic execution. ISSTA Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser
2012	—	`conf`	Symbolic execution of programs with strings. SAICSIT Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys
2012	—	`conf`	Test-case generation and bug-finding through symbolic execution. SAICSIT Willem Bester, Cornelia P. Inggs, Willem Visser
2012	J	`jnl`	The hidden models of model checking. Softw. Syst. Model. Willem Visser, Matthew B. Dwyer, Michael W. Whalen
2012	J	`jnl`	Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes Heila van der Merwe, Brink van der Merwe, Willem Visser
2011	C	`conf`	Infinitely Often Testing - (Extended Abstract). ICTAC Willem Visser
2011	A*	`conf`	Symbolic execution for software testing in practice: preliminary assessment. ICSE Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011	A	`conf`	Symbolic execution with mixed concrete-symbolic solving. ISSTA Corina S. Pasareanu, Neha Rungta, Willem Visser
2010	—	`conf`	FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
2010	—	`conf`	FITE: future integrated testing environment. FoSER Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
2010	J	`jnl`	Guest Editorial. Autom. Softw. Eng. Andrew Ireland, Willem Visser
2010	A*	`conf`	Impendulo: debugging the programmer. ASE Willem Visser, Jaco Geldenhuys
2009	J	`jnl`	A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf. Corina S. Pasareanu, Willem Visser
2009	—	`conf`	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN Neha Rungta, Eric G. Mercer, Willem Visser
2009	J	`jnl`	Property-based Slicing for Agent Verification. J. Log. Comput. Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser
2009	J	`jnl`	Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. Saswat Anand, Corina S. Pasareanu, Willem Visser
2009	—	`conf`	Who Really Cares If the Program Crashes?. SPIN Willem Visser
2007	—	`ed.`	Directed Model Checking, 26.04. - 29.04.2006 Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2007	—	`conf`	Formal Software Analysis Emerging Trends in Software Model Checking. FOSE Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser
2007	A	`conf`	JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS Saswat Anand, Corina S. Pasareanu, Willem Visser
2007	J	`jnl`	Predicate Abstraction with Under-Approximation Refinement. Log. Methods Comput. Sci. Corina S. Pasareanu, Radek Pelánek, Willem Visser
2007	J	`jnl`	Predicate Abstraction with Under-approximation Refinement CoRR Corina S. Pasareanu, Radek Pelánek, Willem Visser
2007	—	`conf`	Symbolic Execution and Model Checking for Testing. Haifa Verification Conference Corina S. Pasareanu, Willem Visser
2007	A	`conf`	Variably interprocedural program analysis for runtime error detection. ISSTA Aaron Tomb, Guillaume P. Brat, Willem Visser
2006	—	`conf`	06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	—	`conf`	06172 Executive Summary -- Directed Model Checking. Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	—	`ed.`	Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005 SoftMC@CAV Byron Cook, Scott D. Stoller, Willem Visser
2006	—	`conf`	Symbolic Execution with Abstract Subsumption Checking. SPIN Saswat Anand, Corina S. Pasareanu, Willem Visser
2006	A	`conf`	Test input generation for java containers using state matching. ISSTA Willem Visser, Corina S. Pasareanu, Radek Pelánek
2006	J	`jnl`	Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2005	J	`jnl`	Combining test case generation and runtime verification. Theor. Comput. Sci. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005	A*	`conf`	Concrete Model Checking with Abstract Matching and Refinement. CAV Corina S. Pasareanu, Radek Pelánek, Willem Visser
2005	J	`jnl`	Foreword. Formal Methods Syst. Des. Scott D. Stoller, Willem Visser
2005	—	`conf`	Model Checking Programs with Java PathFinder. SPIN Willem Visser, Peter C. Mehlitz
2005	B	`conf`	Model Checking Real Time Java Using Java PathFinder. ATVA Gary Lindstrom, Peter C. Mehlitz, Willem Visser
2005	—	`conf`	Preface. SoftMC@CAV Byron Cook, Scott D. Stoller, Willem Visser
2005	A*	`conf`	Test input generation for red-black trees using abstraction. ASE Willem Visser, Corina S. Pasareanu, Radek Pelánek
2005	J	`jnl`	Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
2004	A*	`conf`	Analyzing Interaction Orderings with Model Checking. ASE Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
2004	J	`jnl`	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
2004	J	`jnl`	Heuristics for model checking Java programs. Int. J. Softw. Tools Technol. Transf. Alex Groce, Willem Visser
2004	J	`jnl`	Model Checking Rational Agents. IEEE Intell. Syst. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2004	A	`conf`	State-Space Reduction Techniques in Agent Verification. AAMAS Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2004	A	`conf`	Test input generation with java PathFinder. ISSTA Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
2004	—	`conf`	Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN Corina S. Pasareanu, Willem Visser
2003	—	`ed.`	2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003 SoftMC Byron Cook, Scott D. Stoller, Willem Visser
2003	—	`conf`	Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
2003	—	`conf`	Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
2003	J	`jnl`	Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
2003	A	`conf`	Generalized Symbolic Execution for Model Checking and Testing. TACAS Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
2003	A*	`conf`	Model Checking Multi-Agent Programs with CASP. CAV Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge
2003	J	`jnl`	Model Checking Programs. Autom. Softw. Eng. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
2003	—	`conf`	SoftMC 2003: Workshop on Software Model Checking. SoftMC@CAV Byron Cook, Scott D. Stoller, Willem Visser
2003	—	`conf`	Verifiable Multi-agent Programs. PROMAS Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
2003	—	`conf`	What Went Wrong: Explaining Counterexamples. SPIN Alex Groce, Willem Visser
2002	—	`conf`	Heuristic Model Checking for Java Programs. SPIN Alex Groce, Willem Visser
2002	A	`conf`	Model checking Java programs using structural heuristics. ISSTA Alex Groce, Willem Visser
2002	J	`jnl`	Program model checking as a new trend. Int. J. Softw. Tools Technol. Transf. Klaus Havelund, Willem Visser
2001	—	`conf`	Addressing Dynamic Issues of Program Model Checking. SPIN Flavio Lerda, Willem Visser
2001	J	`jnl`	Automated analysis, verification and testing. Softw. Focus Nigel Tracey, John Penix, Willem Visser
2001	A*	`conf`	Combining Static Analysis and Model Checking for Software Analysis. ASE Guillaume P. Brat, Willem Visser
2001	J	`jnl`	Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test. Verification Reliab. Nigel Tracey, John Penix, Willem Visser
2001	A	`conf`	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
2001	—	`conf`	Preface. Workshop on Software Model Checking @ CAV Scott D. Stoller, Willem Visser
2001	J	`jnl`	RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Mag. Charles Pecheur, Willem Visser, Reid G. Simmons
2001	A*	`conf`	The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE Nigel Tracey, John Penix, Willem Visser
2001	J	`jnl`	The first international workshop on automated program analysis, testing and verification. ACM SIGSOFT Softw. Eng. Notes John Penix, Nigel Tracey, Willem Visser
2001	A*	`conf`	Tool-Supported Program Abstraction for Finite-State Verification. ICSE Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
2001	—	`ed.`	Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001 Workshop on Software Model Checking@CAV Scott D. Stoller, Willem Visser
2000	A*	`conf`	Model Checking Programs. ASE Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
2000	J	`jnl`	Practical CTL Int. J. Softw. Tools Technol. Transf. Willem Visser, Howard Barringer
2000	—	`ed.`	SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings SPIN Klaus Havelund, John Penix, Willem Visser
2000	A*	`conf`	The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE Nigel Tracey, John Penix, Willem Visser
2000	—	`conf`	Using predicate abstraction to reduce object-oriented programs for model checking. FMSP Willem Visser, Seungjoon Park, John Penix
2000	A*	`conf`	Verification of time partitioning in the DEOS scheduler kernel. ICSE John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
1997	—	`conf`	Efficient CTL* model checking for analysis of rainbow designs. CHARME Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
1996	—	`conf`	Memory efficient state storage in Spin. The Spin Verification System Willem Visser, Howard Barringer