default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWillem Visser
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c86]Ben Liblit, Linghui Luo
, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser:
Shifting Left for Early Detection of Machine-Learning Bugs. FM 2023: 584-597- [c85]Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. ESEC/SIGSOFT FSE 2023: 120-132 - [i7]Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned. CoRR abs/2307.16023 (2023) - 2022
- [c84]Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE 2022: 1367-1378 - [i6]Ke Li, Heng Yang, Willem Visser:
Evolutionary Multi-Task Injection Testing on Web Application Firewalls. CoRR abs/2206.05743 (2022) - 2021
- [c83]Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE 2021: 1416-1426 - 2020
- [j39]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [c82]Donato Clun, Phillip van Heerden, Antonio Filieri, Willem Visser:
Improving Symbolic Automata Learning with Concolic Execution. FASE 2020: 3-26 - [c81]Jan Taljaard, Jaco Geldenhuys, Willem Visser:
Constraint Caching Revisited. NFM 2020: 251-266 - [c80]Alexander Leid, Brink van der Merwe, Willem Visser:
Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. SAICSIT 2020: 35-43 - [c79]Wim Keirsgieter, Willem Visser:
Graft: Static Analysis of Java Bytecode with Graph Databases. SAICSIT 2020: 217-226 - [c78]Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser:
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE 2020: 123-134 - [c77]Willem Visser, Jaco Geldenhuys:
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). TACAS (2) 2020: 373-377 - [c76]Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser:
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) 2020: 393-397
2010 – 2019
- 2019
- [j38]Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
On the interplay between normalisation, bias, and performance of paper impact metrics. J. Informetrics 13(1): 270-290 (2019) - [j37]Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
Globalised vs averaged: Bias and ranking performance on the author level. J. Informetrics 13(1): 299-313 (2019) - [j36]Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen:
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes 44(4): 14 (2019) - [c75]Cyrille Artho, Willem Visser:
Java Pathfinder at SV-COMP 2019 (Competition Contribution). TACAS (3) 2019: 224-228 - [c74]Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser:
Symbolic Pathfinder for SV-COMP - (Competition Contribution). TACAS (3) 2019: 239-243 - [i5]ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser:
SymInfer: Inferring Program Invariants using Symbolic States. CoRR abs/1903.11768 (2019) - 2018
- [j35]Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
How to evaluate rankings of academic entities using test data. J. Informetrics 12(3): 631-655 (2018) - [j34]Marcel Dunaiski, Jaco Geldenhuys, Willem Visser:
Author ranking evaluation at scale. J. Informetrics 12(3): 679-702 (2018) - [j33]Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser:
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44(6): 595-612 (2018) - [c73]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA 2018: 1-2 - [c72]Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser:
Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM 2018: 123-138 - 2017
- [j32]Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser:
Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [j31]Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser:
Software Engineering Research at the International Conference on Software Engineering in 2016. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-7 (2017) - [c71]Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser:
Writing good software engineering research papers: revisited. ICSE (Companion Volume) 2017: 402 - [c70]Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser:
JFIX: semantics-based repair of Java programs via symbolic PathFinder. ISSTA 2017: 376-379 - [c69]ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser:
SymInfer: inferring program invariants using symbolic states. ASE 2017: 804-814 - [c68]Willem Visser, Corina S. Pasareanu:
Probabilistic programming for Java using symbolic execution and model counting. SAICSIT 2017: 35:1-35:10 - [c67]Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser:
S3: syntax- and semantic-guided repair synthesis via programming by examples. ESEC/SIGSOFT FSE 2017: 593-604 - [c66]Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser:
Addressing challenges in obtaining high coverage when model checking Android applications. SPIN 2017: 31-40 - 2016
- [j30]Marcel Dunaiski, Willem Visser, Jaco Geldenhuys:
Evaluating paper and author ranking algorithms using impact and contribution awards. J. Informetrics 10(2): 392-407 (2016) - [j29]Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk:
StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c65]Willem Visser:
What makes killing a mutant hard. ASE 2016: 39-44 - [c64]Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser:
Field-exhaustive testing. SIGSOFT FSE 2016: 908-919 - [e7]Laura K. Dillon, Willem Visser, Laurie A. Williams:
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. ACM 2016, ISBN 978-1-4503-3900-1 [contents] - [e6]Laura K. Dillon, Willem Visser, Laurie A. Williams:
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. ACM 2016, ISBN 978-1-4503-4205-6 [contents] - 2015
- [j28]Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser:
SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Computer 48(11): 106-109 (2015) - [j27]Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser:
Generation of Library Models for Verification of Android Applications. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [j26]Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser:
Environment Modeling Using Runtime Values for JPF-Android. ACM SIGSOFT Softw. Eng. Notes 40(6): 1-5 (2015) - [j25]Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias:
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41(7): 639-660 (2015) - [c63]Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25 - [c62]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52 - [c61]Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. SPIN 2015: 222-241 - 2014
- [j24]Heila van der Merwe, Brink van der Merwe, Willem Visser:
Execution and property specifications for JPF-android. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c60]Willem Visser, Nikolaj S. Bjørner, Natarajan Shankar:
Software engineering and automated deduction. FOSE 2014: 155-166 - [c59]Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser:
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE 2014: 575-586 - [c58]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser:
Compositional solution space quantification for probabilistic software analysis. PLDI 2014: 123-132 - [c57]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering 2014: 39-40 - [c56]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical symbolic execution with informed sampling. SIGSOFT FSE 2014: 437-448 - 2013
- [j23]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) - [c55]Mark A. Ardis, David Budgen, Gregory W. Hislop, Jeff Offutt, Mark J. Sebern, Willem Visser:
Workshop on revisions to SE 2004. CSEE&T 2013: 356-358 - [c54]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability analysis in symbolic pathfinder. ICSE 2013: 622-631 - [c53]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 - [c52]Peter C. Mehlitz, Neha Rungta, Willem Visser:
A hands-on Java PathFinder tutorial. ICSE 2013: 1493-1495 - [c51]Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser:
Bounded Lazy Initialization. NASA Formal Methods 2013: 229-243 - [c50]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
- [j22]Heila van der Merwe, Brink van der Merwe, Willem Visser:
Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [j21]Willem Visser, Matthew B. Dwyer, Michael W. Whalen:
The hidden models of model checking. Softw. Syst. Model. 11(4): 541-555 (2012) - [c49]Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser:
Probabilistic symbolic execution. ISSTA 2012: 166-176 - [c48]Willem Bester, Cornelia P. Inggs, Willem Visser:
Test-case generation and bug-finding through symbolic execution. SAICSIT 2012: 1-9 - [c47]Marcel Dunaiski, Willem Visser:
Comparing paper ranking algorithms. SAICSIT 2012: 21-30 - [c46]G. C. Morrison, Cornelia P. Inggs, Willem Visser:
Automated coverage calculation and test case generation. SAICSIT 2012: 84-93 - [c45]Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys:
Symbolic execution of programs with strings. SAICSIT 2012: 139-148 - [c44]Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer:
Green: reducing, reusing and recycling constraints in program analysis. SIGSOFT FSE 2012: 58 - 2011
- [c43]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 - [c42]Willem Visser:
Infinitely Often Testing - (Extended Abstract). ICTAC 2011: 6 - [c41]Corina S. Pasareanu, Neha Rungta, Willem Visser:
Symbolic execution with mixed concrete-symbolic solving. ISSTA 2011: 34-44 - 2010
- [j20]Andrew Ireland, Willem Visser:
Guest Editorial. Autom. Softw. Eng. 17(2): 117-118 (2010) - [c40]Willem Visser, Jaco Geldenhuys:
Impendulo: debugging the programmer. ASE 2010: 351-352 - [c39]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser:
FITE: future integrated testing environment. FoSER 2010: 401-406 - [i4]Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen:
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [j19]Rafael H. Bordini, Michael Fisher, Michael J. Wooldridge, Willem Visser:
Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009) - [j18]Saswat Anand, Corina S. Pasareanu, Willem Visser:
Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11(1): 53-67 (2009) - [j17]Corina S. Pasareanu, Willem Visser:
A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf. 11(4): 339-353 (2009) - [c38]Willem Visser:
Who Really Cares If the Program Crashes?. SPIN 2009: 5 - [c37]Neha Rungta, Eric G. Mercer, Willem Visser:
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191 - 2007
- [j16]Corina S. Pasareanu, Radek Pelánek, Willem Visser:
Predicate Abstraction with Under-Approximation Refinement. Log. Methods Comput. Sci. 3(1) (2007) - [c36]Corina S. Pasareanu, Willem Visser:
Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18 - [c35]Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 - [c34]Aaron Tomb, Guillaume P. Brat, Willem Visser:
Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107 - [c33]Saswat Anand, Corina S. Pasareanu, Willem Visser:
JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138 - [e5]Stefan Edelkamp, Stefan Leue, Willem Visser:
Directed Model Checking, 26.04. - 29.04.2006. Dagstuhl Seminar Proceedings 06172, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i3]Corina S. Pasareanu, Radek Pelánek, Willem Visser:
Predicate Abstraction with Under-approximation Refinement. CoRR abs/cs/0701140 (2007) - 2006
- [j15]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifying Multi-agent Programs by Model Checking. Auton. Agents Multi Agent Syst. 12(2): 239-256 (2006) - [c32]Willem Visser, Corina S. Pasareanu, Radek Pelánek:
Test input generation for java containers using state matching. ISSTA 2006: 37-48 - [c31]Saswat Anand, Corina S. Pasareanu, Willem Visser:
Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181 - [e4]Byron Cook, Scott D. Stoller, Willem Visser:
Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005. Electronic Notes in Theoretical Computer Science 144(3), Elsevier 2006 [contents] - [i2]Stefan Edelkamp, Stefan Leue, Willem Visser:
06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006 - [i1]Stefan Edelkamp, Stefan Leue, Willem Visser:
06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006 - 2005
- [j14]Scott D. Stoller, Willem Visser:
Foreword. Formal Methods Syst. Des. 26(2): 75-76 (2005) - [j13]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 Syst. Des. 26(2): 103-135 (2005) - [j12]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) - [c30]Gary Lindstrom, Peter C. Mehlitz, Willem Visser:
Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456 - [c29]Corina S. Pasareanu, Radek Pelánek, Willem Visser:
Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66 - [c28]Willem Visser, Corina S. Pasareanu, Radek Pelánek:
Test input generation for red-black trees using abstraction. ASE 2005: 414-417 - [c27]Willem Visser, Peter C. Mehlitz:
Model Checking Programs with Java PathFinder. SPIN 2005: 27 - [c26]Byron Cook, Scott D. Stoller, Willem Visser:
Preface. SoftMC@CAV 2005: 1-2 - 2004
- [j11]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Model Checking Rational Agents. IEEE Intell. Syst. 19(5): 46-52 (2004) - [j10]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 Syst. Des. 25(2-3): 167-198 (2004) - [j9]Alex Groce, Willem Visser:
Heuristics for model checking Java programs. Int. J. Softw. Tools Technol. Transf. 6(4): 260-276 (2004) - [c25]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903 - [c24]Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid:
Test input generation with java PathFinder. ISSTA 2004: 97-107 - [c23]Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser:
Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163 - [c22]Corina S. Pasareanu, Willem Visser:
Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181 - 2003
- [j8]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda:
Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003) - [j7]Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. 5(1): 34-48 (2003) - [c21]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 - [c20]Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge:
Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113 - [c19]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 - [c18]Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge:
Verifiable Multi-agent Programs. PROMAS 2003: 72-89 - [c17]Alex Groce, Willem Visser:
What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135 - [c16]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568 - [c15]Byron Cook, Scott D. Stoller, Willem Visser:
SoftMC 2003: Workshop on Software Model Checking. SoftMC@CAV 2003: 377 - [e3]Byron Cook, Scott D. Stoller, Willem Visser:
2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89(3), Elsevier 2003 [contents] - 2002
- [j6]Klaus Havelund, Willem Visser:
Program model checking as a new trend. Int. J. Softw. Tools Technol. Transf. 4(1): 8-20 (2002) - [c14]Alex Groce, Willem Visser:
Model checking Java programs using structural heuristics. ISSTA 2002: 12-21 - [c13]Alex Groce, Willem Visser:
Heuristic Model Checking for Java Programs. SPIN 2002: 242-245 - 2001
- [j5]Charles Pecheur, Willem Visser, Reid G. Simmons:
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. AI Mag. 22(3): 107-111 (2001) - [j4]John Penix, Nigel Tracey, Willem Visser:
The first international workshop on automated program analysis, testing and verification. ACM SIGSOFT Softw. Eng. Notes 26(1): 40 (2001) - [j3]Nigel Tracey, John Penix, Willem Visser:
Automated analysis, verification and testing. Softw. 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. Verification Reliab. 11(2): 63-64 (2001) - [c12]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 - [c11]Nigel Tracey, John Penix, Willem Visser:
The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2001: 755 - [c10]Guillaume P. Brat, Willem Visser:
Combining Static Analysis and Model Checking for Software Analysis. ASE 2001: 262- - [c9]Flavio Lerda, Willem Visser:
Addressing Dynamic Issues of Program Model Checking. SPIN 2001: 80-102 - [c8]Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298 - [c7]Scott D. Stoller, Willem Visser:
Preface. Workshop on Software Model Checking @ CAV 2001: 394 - [e2]Scott D. Stoller, Willem Visser:
Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(3), Elsevier 2001 [contents] - 2000
- [j1]Willem Visser, Howard Barringer:
Practical CTL* Model Checking: Should SPIN be Extended? Int. J. Softw. Tools Technol. Transf. 2(4): 350-365 (2000) - [c6]Willem Visser, Seungjoon Park, John Penix:
Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182 - [c5]John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger:
Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497 - [c4]Nigel Tracey, John Penix, Willem Visser:
The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796 - [c3]Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park:
Model Checking Programs. ASE 2000: 3-12 - [e1]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. Lecture Notes in Computer Science 1885, Springer 2000, ISBN 3-540-41030-9 [contents]
1990 – 1999
- 1997
- [c2]Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams:
Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145 - 1996
- [c1]Willem Visser, Howard Barringer:
Memory efficient state storage in Spin. The Spin Verification System 1996: 185-203
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
