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)

Explore network

Following (4)

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

Ph.D.

University of Manchester

January 1995 - June 1998(3 years)