Willem Visser

	2009
59		Neha Rungta, Eric G. Mercer, Willem Visser: Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191
58		Willem Visser: Who Really Cares If the Program Crashes?. SPIN 2009: 5
57		Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic execution with abstraction. STTT 11(1): 53-67 (2009)
56		Corina S. Pasareanu, Willem Visser: A survey of new trends in symbolic execution for software testing and analysis. STTT 11(4): 339-353 (2009)
	2007
55		Stefan Edelkamp, Stefan Leue, Willem Visser: Directed Model Checking, 26.04. - 29.04.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
54		Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
53		Corina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18
52		Aaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107
51		Saswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138
50		Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement CoRR abs/cs/0701140: (2007)
49		Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1): (2007)
	2006
48		Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
47		Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
46		Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48
45		Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181
44		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006)
43		Byron Cook, Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006)
	2005
42		Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417
41		Gary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
40		Corina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66
39		Willem Visser, Peter C. Mehlitz: Model Checking Programs with Java PathFinder. SPIN 2005: 27
38		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 in System Design 26(2): 103-135 (2005)
37		Scott D. Stoller, Willem Visser: Foreword. Formal Methods in System Design 26(2): 75-76 (2005)
36		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): 209-234 (2005)
	2004
35		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
34		Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
33		Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
32		Corina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181
31		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 in System Design 25(2-3): 167-198 (2004)
30		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
29		Alex Groce, Willem Visser: Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
	2003
28		Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
27		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
26		Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao: Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES 2003: 42-59
25		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
24		Alex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
23		Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
22		Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
21		Byron Cook, Scott D. Stoller, Willem Visser: SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
20		Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
	2002
19		Alex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
18		Alex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
17		Klaus Havelund, Willem Visser: Program model checking as a new trend. STTT 4(1): 8-20 (2002)
	2001
16		Guillaume P. Brat, Willem Visser: Combining Static Analysis and Model Checking for Software Analysis. ASE 2001: 262-
15		Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187
14		Nigel Tracey, John Penix, Willem Visser: The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2001: 755-755
13		Flavio Lerda, Willem Visser: Addressing Dynamic Issues of Program Model Checking. SPIN 2001: 80-102
12		Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298
11		Charles Pecheur, Willem Visser, Reid G. Simmons: AAAI 2000 Fall Symposium Series Reports. AI Magazine 22(3): 107-111 (2001)
10		Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
9		Nigel Tracey, John Penix, Willem Visser: Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test., Verif. Reliab. 11(2): 63-64 (2001)
8		Nigel Tracey, John Penix, Willem Visser: Automated analysis, verification and testing. Software Focus 2(2): 82 (2001)
	2000
7		Klaus Havelund, John Penix, Willem Visser: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings Springer 2000
6		Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
5		Willem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
4		John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
3		Nigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796
2		Willem Visser, Howard Barringer: Practical CTL* Model Checking: Should SPIN be Extended? STTT 2(4): 350-365 (2000)
	1997
1		Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145

Coauthor Index

1	Saswat Anand	[45] [51] [57]
2	Cyrille Artho	[28] [36]
3	Howard Barringer	[1] [2] [36]
4	Rafael H. Bordini	[25] [27] [30] [35] [44]
5	Guillaume P. Brat	[6] [16] [22] [31] [52]
6	Byron Cook	[21] [43]
7	George Devaraj	[26]
8	Doron Drusinsky	[28] [31]
9	Matthew B. Dwyer	[12] [15] [20] [34] [54]
10	Stefan Edelkamp	[47] [48] [55]
11	Eric Engstrom	[4] [38]
12	Donal Fellows	[1]
13	Michael Fisher	[25] [27] [30] [35] [44]
14	Jimin Gao	[26]
15	Dimitra Giannakopoulou	[31]
16	Allen Goldberg	[28] [31] [36]
17	Graham Gough	[1]
18	Alex Groce	[18] [19] [24] [29]
19	John Hatcliff	[15] [54]
20	Klaus Havelund	[6] [7] [17] [22] [28] [31] [36]
21	Mats Per Erik Heimdahl	[26]
22	Roby Joehanes	[15]
23	Sarfraz Khurshid	[23] [33] [36]
24	Aaron Larson	[4] [38]
25	Shawn Laubach	[15]
26	Flavio Lerda	[13] [22]
27	Stefan Leue	[47] [48] [55]
28	Gary Lindstrom	[41]
29	Michael R. Lowry	[28] [31] [36]
30	Peter C. Mehlitz	[39] [41]
31	Eric Mercer (Eric G. Mercer)	[59]
32	Carmen Pardavila	[27]
33	Seungjoon Park	[5] [6] [22] [38]
34	Corina S. Pasareanu	[12] [15] [20] [23] [28] [31] [32] [33] [36] [38] [40] [42] [45] [46] [49] [50] [51] [53] [54] [56] [57]
35	Charles Pecheur	[11]
36	Radek Pelánek	[40] [42] [46] [49] [50]
37	John Penix	[3] [4] [5] [7] [8] [9] [14] [38]
38	Sanjai Rayadurgam	[26]
39	Robby	[15] [34] [54]
40	Grigore Rosu	[28] [36]
41	Neha Rungta	[59]
42	Koushik Sen	[36]
43	Reid G. Simmons	[11]
44	Scott D. Stoller	[10] [21] [37] [43]
45	Oksana Tkachuk	[34]
46	Aaron Tomb	[52]
47	Nigel Tracey	[3] [8] [9] [14]
48	Arnaud Venet	[31]
49	Richard Washington	[31] [36]
50	Nicholas Weininger	[4] [38]
51	Alan Williams	[1]
52	Michael Wooldridge (Michael J. Wooldridge)	[25] [27] [30] [35] [44]
53	Hongjun Zheng	[15]

Colors in the list of coauthors