Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Willem Visser
2010 – today
- 2013
[j25]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): 391-425 (2013)- [c50]Antonio Filieri, Corina S. Pasareanu, Willem Visser: Reliability analysis in symbolic pathfinder. ICSE 2013: 622-631
- [c49]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: 1127
- [c48]Peter C. Mehlitz, Neha Rungta, Willem Visser: A hands-on Java PathFinder tutorial. ICSE 2013: 1493-1495
- [c47]Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser: Bounded Lazy Initialization. NASA Formal Methods 2013: 229-243
- [c46]Gregory W. Hislop, Mark A. Ardis, David Budgen, Mark J. Sebern, Jeff Offutt, Willem Visser: Revision of the SE 2004 curriculum model. SIGCSE 2013: 383-384
- 2012
- [j24]Willem Visser, Matthew B. Dwyer, Michael W. Whalen: The hidden models of model checking. Software and System Modeling 11(4): 541-555 (2012)
- [c45]Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser: Probabilistic symbolic execution. ISSTA 2012: 166-176
- [c44]
- [c43]Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys: Symbolic execution of programs with strings. SAICSIT Conf. 2012: 139-148
- [c42]Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer: Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58
- 2011
- [c41]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: 1066-1071
- [c40]
- [c39]Corina S. Pasareanu, Neha Rungta, Willem Visser: Symbolic execution with mixed concrete-symbolic solving. ISSTA 2011: 34-44
- 2010
- [j23]
- [c38]
- [c37]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser: FITE: future integrated testing environment. FoSER 2010: 401-406
2000 – 2009
- 2009
- [j22]Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)
- [j21]Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic execution with abstraction. STTT 11(1): 53-67 (2009)
- [j20]Corina S. Pasareanu, Willem Visser: A survey of new trends in symbolic execution for software testing and analysis. STTT 11(4): 339-353 (2009)
- [c36]
- [c35]Neha Rungta, Eric G. Mercer, Willem Visser: Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191
- 2007
- [j19]Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1) (2007)
- [c34]Corina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18
- [c33]Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
- [c32]Aaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107
- [c31]Saswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138
- [e2]Stefan Edelkamp, Stefan Leue, Willem Visser (Eds.): Directed Model Checking, 26.04. - 29.04.2006. Dagstuhl Seminar Proceedings 06172, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- [i1]Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement. CoRR abs/cs/0701140 (2007)
- 2006
- [j18]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)
- [j17]Byron Cook, Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006)
- [c30]Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
- [c29]Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
- [c28]Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48
- [c27]Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181
- 2005
- [j16]
- [j15]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)
- [j14]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)
- [c26]Gary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
- [c25]Corina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66
- [c24]Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417
- [c23]
- 2004
- [j13]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
- [j12]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)
- [j11]
- [c22]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
- [c21]Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
- [c20]Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
- [c19]Corina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181
- 2003
- [j10]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
- [j9]Byron Cook, Scott D. Stoller, Willem Visser: SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): 377 (2003)
- [j8]Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
- [c18]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
- [c17]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
- [c16]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
- [c15]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
- [c14]
- [c13]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
- 2002
- [j7]
- [c12]Alex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
- [c11]
- 2001
- [j6]Charles Pecheur, Willem Visser, Reid G. Simmons: RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Magazine 22(3): 107-111 (2001)
- [j5]
- [j4]John Penix, Nigel Tracey, Willem Visser: The first international workshop on automated program analysis, testing and verification. ACM SIGSOFT Software Engineering Notes 26(1): 40 (2001)
- [j3]Nigel Tracey, John Penix, Willem Visser: Automated analysis, verification and testing. Software Focus 2(2): 82 (2001)
- [j2]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)
- [c10]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
- [c9]Nigel Tracey, John Penix, Willem Visser: The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2001: 755
- [c8]Guillaume P. Brat, Willem Visser: Combining Static Analysis and Model Checking for Software Analysis. ASE 2001: 262-
- [c7]
- [c6]Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298
- 2000
- [j1]Willem Visser, Howard Barringer: Practical CTL* Model Checking: Should SPIN be Extended? STTT 2(4): 350-365 (2000)
- [c5]Willem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
- [c4]John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
- [c3]Nigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796
- [c2]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
- [e1]Klaus Havelund, John Penix, Willem Visser (Eds.): SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1885, Springer 2000, ISBN 3-540-41030-9
1990 – 1999
- 1997
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team