Skip to content

Willem Visser

  • Professor
  • Stellenbosch University Ecumenical Center for Leadership Development and Congregational Studies
  • 32PublicationsNumber of items in Willem's My Publications folder on Mendeley.
  • 8Followers

Research interests

Symbolic ExecutionVerificationTesting

About

Got my PhD from the University of Manchester in 1998, worked at NASA Ames Research Center till February 2007, for SEVEN Networks till March 2009 and now for Stellenbosch University. I started off doing very theoretical stuff in model checking, then on to testing via symbolic execution and nowadays I spend endless hours in meetings.

Followers (8)

  • Ratana Hing

    Ratana Hing

  • Maxim Kotsemir

    Maxim KotsemirState University Higher School of Economics

  • JAK Olivier

    JAK OlivierNoordwes-Universiteit

  • Wouter Grove

    Wouter GroveUniversity of the Western Cape

  • Jaco Geldenhuys

    Jaco GeldenhuysComputer Science, Stellenbosch University

  • Brink Van der Merwe

    Brink Van der Merwe

Explore network

Following (4)

  • Jaco Geldenhuys

    Jaco GeldenhuysComputer Science, Stellenbosch University

  • Brink Van der Merwe

    Brink Van der Merwe

  • Adam Kiezun

    Adam KiezunBrigham and Women's Hospital - Harvard Medical School

  • McElory Hoffmann

    McElory HoffmannStellenbosch University Ecumenical Center for Leadership Development and Congregational Studies

Publications (5)

  • A survey of new trends in symbolic execution for software testing and analysis

    • Păsăreanu C
    • Visser W
    N/AReaders
    N/ACitations
    Get full text
  • Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution

    • Rungta N
    • Mercer E
    • Visser W
    N/AReaders
    N/ACitations
    Get full text
  • Symbolic execution with abstraction

    • Anand S
    • Păsăreanu C
    • Visser W
    N/AReaders
    N/ACitations
    Get full text
  • Analyzing Interaction Orderings with Model Checking

    • Dwyer M
    • Robby
    • Tkachuk O
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Experiments with test case generation and runtime analysis

    • Artho C
    • Drusinksy D
    • Goldberg A
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Professor

University of Stellenbosch

June 2009 - Present

Education history

Ph.D.

University of Manchester

January 1995 - June 1998(3 years)