Willem Visser Computer Science Division
Stellenbosch University
Private Bag X1
7602 Matieland, South Africa

wvisser -at- cs.sun.ac.za
visserw -at- sun.ac.za
willem -at- gmail.com
+27 21 808 4232

[2014] [2013] [2012] [older]


Kasper S. Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser. "Exact and approximate probabilistic symbolic execution for nondeterministic programs". ASE 2014: 575-586
[ doi ]

Willem Visser, Nikolaj Bjorner, Natarajan Shankar. "Software engineering and automated deduction". ICSE 2014 Future of Software Engineering (FOSE): 155-166
[ doi | ppt ]

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser. "Compositional solution space quantification for probabilistic software analysis". PLDI 2014: 123-132
[ doi ]

Heila van der Merwe, Brink van der Merwe, Willem Visser. "Execution and property specifications for JPF-android". ACM SIGSOFT Software Engineering Notes 39(1): 1-5. 2014
[ doi ]


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". Automated Software Engineering Journal 2013: Volume 20 Number 3: 391-425
[ doi ]

Antonio Filieri, Corina S. Pasareanu, Willem Visser. "Reliability analysis in symbolic pathfinder". ICSE 2013: 622-631
[ acm ]

Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser. "Bounded Lazy Initialization". NASA Formal Methods 2013: 229-243
[ doi ]

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
[ doi ]


Heila van der Merwe, Brink van der Merwe, Willem Visser. "Verifying android applications using Java PathFinder". ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)
[ doi ]

Willem Visser, Matthew B. Dwyer, Michael W. Whalen. "The hidden models of model checking". Software and System Modeling 11(4): 541-555 (2012)
[ doi ]

Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser. "Probabilistic symbolic execution". ISSTA 2012: 166-176
[ doi ]

Willem Visser, Jaco Geldenhuys, Matthew B. Dwyer. "Green: reducing, reusing and recycling constraints in program analysis". SIGSOFT FSE 2012
[ doi ]

Gideon Redelinghuys, Willem Visser, Jaco Geldenhuys. "Symbolic execution of programs with strings". SAICSIT 2012: 139-148
[ doi ]

Marcel Dunaiski, Willem Visser. "Comparing paper ranking algorithms". SAICSIT 2012: 21-30
[ doi ]

Willem Bester, Cornelia Inggs, Willem Visser. "Test-case generation and bug-finding through symbolic execution" (Best Paper) SAICSIT 2012: 1-9
[ doi ]

Cameron Morrison, Cornelia Inggs, Willem Visser. "Automated coverage calculation and test case generation". SAICSIT 2012: 84-93
[ doi ]


In due time I'll add the rest of the older publications. for now please check DBLP and contact me if you need a copy

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.