Search results for "Willem Visser"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Corina S. Pasareanu, Neha Rungta, Willem Visser	Symbolic execution with mixed concrete-symbolic solving.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Willem Visser	Infinitely Often Testing - (Extended Abstract).	ICTAC	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Andrew Ireland, Willem Visser	Guest Editorial.	Autom. Softw. Eng.	2010	DBLP DOI BibTeX RDF
1	Willem Visser, Jaco Geldenhuys	Impendulo: debugging the programmer.	ASE	2010	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser	FITE: future integrated testing environment.	FoSER	2010	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser	Property-based Slicing for Agent Verification.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	STTT	2009	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	A survey of new trends in symbolic execution for software testing and analysis.	STTT	2009	DBLP DOI BibTeX RDF
1	Willem Visser	Who Really Cares If the Program Crashes?.	SPIN	2009	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-Approximation Refinement.	Logical Methods in Computer Science	2007	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-approximation Refinement	CoRR	2007	DBLP BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	JPF-SE: A Symbolic Execution Extension to Java PathFinder.	TACAS	2007	DBLP DOI BibTeX RDF
1	Aaron Tomb, Guillaume P. Brat, Willem Visser	Variably interprocedural program analysis for runtime error detection.	ISSTA	2007	DBLP DOI BibTeX RDF	can-test, generation, symbolic execution, defect detection
1	Stefan Edelkamp, Stefan Leue, Willem Visser (eds.)	Directed Model Checking, 26.04. - 29.04.2006	Directed Model Checking	2007	DBLP BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser	Formal Software Analysis Emerging Trends in Software Model Checking.	FOSE	2007	DBLP DOI BibTeX RDF
1	Byron Cook, Scott D. Stoller, Willem Visser	Preface.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	Verifying Multi-agent Programs by Model Checking.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for java containers using state matching.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Stefan Leue, Willem Visser	06172 Abstracts Collection -- Directed Model Checking.	Directed Model Checking	2006	DBLP BibTeX RDF
1	Stefan Edelkamp, Stefan Leue, Willem Visser	06172 Executive Summary -- Directed Model Checking.	Directed Model Checking	2006	DBLP BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
1	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.	2005	DBLP DOI BibTeX RDF
1	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	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
1	Scott D. Stoller, Willem Visser	Foreword.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for red-black trees using abstraction.	ASE	2005	DBLP DOI BibTeX RDF	testing object oriented programs, model checking, abstraction, coverage, red-black trees
1	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
1	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Concrete Model Checking with Abstract Matching and Refinement.	CAV	2005	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	Model Checking Rational Agents.	IEEE Intelligent Systems	2004	DBLP DOI BibTeX RDF
1	Alex Groce, Willem Visser	Heuristics for model checking Java programs.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Testing, Heuristic search, Coverage metrics
1	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	2004	DBLP DOI BibTeX RDF	mars flight software, model checking, testing, static analysis, runtime analysis
1	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid	Test input generation with java PathFinder.	ISSTA	2004	DBLP DOI BibTeX RDF	testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees
1	Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser	Analyzing Interaction Orderings with Model Checking.	ASE	2004	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	State-Space Reduction Techniques in Agent Verification.	AAMAS	2004	DBLP DOI BibTeX RDF
1	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
1	Byron Cook, Scott D. Stoller, Willem Visser	SoftMC 2003: Workshop on Software Model Checking.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	STTT	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
1	Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser	Generalized Symbolic Execution for Model Checking and Testing.	TACAS	2003	DBLP DOI BibTeX RDF
1	Alex Groce, Willem Visser	What Went Wrong: Explaining Counterexamples.	SPIN	2003	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	Verifiable Multi-agent Programs.	PROMAS	2003	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge	Model Checking Multi-Agent Programs with CASP.	CAV	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Klaus Havelund, Willem Visser	Program model checking as a new trend.	STTT	2002	DBLP DOI BibTeX RDF	Concurrent programming languages, Java, Model checking, Program verification, SPIN
1	Alex Groce, Willem Visser	Model checking Java programs using structural heuristics.	ISSTA	2002	DBLP DOI BibTeX RDF	model checking, testing, heuristics, coverage metrics
1	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
1	Nigel Tracey, John Penix, Willem Visser	Automated analysis, verification and testing.	Software Focus	2001	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Willem Visser	Preface.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Nigel Tracey, John Penix, Willem Visser	Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000).	Softw. Test., Verif. Reliab.	2001	DBLP BibTeX RDF
1	Charles Pecheur, Willem Visser, Reid G. Simmons	RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems.	AI Magazine	2001	DBLP BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
1	Guillaume P. Brat, Willem Visser	Combining Static Analysis and Model Checking for Software Analysis.	ASE	2001	DBLP DOI BibTeX RDF
1	Flavio Lerda, Willem Visser	Addressing Dynamic Issues of Program Model Checking.	SPIN	2001	DBLP DOI BibTeX RDF
1	Nigel Tracey, John Penix, Willem Visser	The Second International Workshop on Automated Program Analysis, Testing and Verification.	ICSE	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Willem Visser, Howard Barringer	Practical CTL* Model Checking: Should SPIN be Extended?	STTT	2000	DBLP DOI BibTeX RDF	Büchi automata, Hesitant alternating automata, Model checking, Games, Spin
1	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
1	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	SPIN	2000	DBLP BibTeX RDF
1	Willem Visser, Seungjoon Park, John Penix	Using predicate abstraction to reduce object-oriented programs for model checking.	FMSP	2000	DBLP DOI BibTeX RDF	browsing
1	Nigel Tracey, John Penix, Willem Visser	The First International Workshop on Automated Program Analysis, Testing and Verification.	ICSE	2000	DBLP DOI BibTeX RDF
1	John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verification of time partitioning in the DEOS scheduler kernel.	ICSE	2000	DBLP DOI BibTeX RDF
1	Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams	Efficient CTL* model checking for analysis of rainbow designs.	CHARME	1997	DBLP BibTeX RDF

Publications of "Willem Visser" ( http://dblp.L3S.de/Authors/Willem_Visser )