World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
49
Citations
11224
World Ranking
5830
National Ranking
2648

Research.com Recognitions

  • 2017 - ACM Distinguished Member

Overview

Willem Visser is affiliated with Amazon in the United States and has made contributions across multiple disciplines, primarily in Computer Science and Medicine. Their work spans areas including software engineering, dermatology, and oncology.

Visser's main fields of study cover:

  • Computer Science
  • Medicine

Within these fields, their research further specializes in subfields such as:

  • Software
  • Dermatology
  • Information Systems
  • Oncology
  • Epidemiology

The principal topics featured in Visser's publications include:

  • Software Testing and Debugging Techniques
  • Cutaneous Melanoma Detection and Management
  • Software Engineering Research
  • Software Reliability and Analysis Research
  • Advanced Malware Detection Techniques
  • Cutaneous lymphoproliferative disorders research
  • Dermatology and Skin Diseases

Recent papers authored by Visser highlight their interdisciplinary interests, notably in dermatology and oncology, and include:

  • The tumor genetics of acral melanoma: What should a dermatologist know? (2020), published in JAAD International
  • Pharmacological interventions for periorificial (perioral) dermatitis in children and adults: a systematic review (2021), published in Journal of the European Academy of Dermatology and Venereology
  • An Analysis of Biopsies for Suspected Skin Cancer at a Tertiary Care Dermatology Clinic in the Western Cape Province of South Africa (2020), published in Journal of Skin Cancer
  • The prevalence and spectrum of mucocutaneous disease in South African people living with HIV and accessing care at a district-level hospital (2020), published in Southern African Journal of HIV Medicine
  • Cutaneous tuberculosis (lupus vulgaris-type) (2022), published in IDCases

Visser collaborates frequently with several researchers, including:

  • Bianca Tod
  • H. François Jordaan
  • Johann de Wet
  • J Schneider
  • Saskya Claasens

Their work has appeared across multiple specialized journals and venues, such as:

  • JAAD International
  • Journal of the European Academy of Dermatology and Venereology
  • Journal of Skin Cancer
  • Southern African Journal of HIV Medicine
  • IDCases

In addition to journal articles, Visser has contributed to book publications, including a work published by Springer Science+Business Media titled NASA Formal Methods (2022).

Recognition for their contributions includes the ACM Distinguished Member award received in 2017.

Best Publications

  • Model checking programs

    W. Visser;K. Havelund;G. Brat;Seungjoon Park

  • Generalized symbolic execution for model checking and testing

    Sarfraz Khurshid;Corina S. Păsăreanu;Willem Visser

  • Test input generation with java PathFinder

    Willem Visser;Corina S. Pǎsǎreanu;Sarfraz Khurshid

  • Symbolic execution for software testing in practice: preliminary assessment

    Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu

  • JPF-SE: a symbolic execution extension to Java PathFinder

    Saswat Anand;Corina S. Păsăreanu;Willem Visser

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

    Corina S. Pasareanu;Willem Visser

  • What went wrong: explaining counterexamples

    Alex Groce;Willem Visser

  • S3: syntax- and semantic-guided repair synthesis via programming by examples

    Xuan-Bach D. Le;Duc-Hiep Chu;David Lo;Claire Le Goues

  • Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

    Corina S. Pasareanu;Willem Visser;David H. Bushnell;Jaco Geldenhuys

  • Verifying Multi-agent Programs by Model Checking

    Rafael H. Bordini;Michael Fisher;Willem Visser;Michael Wooldridge

  • Test input generation for java containers using state matching

    Willem Visser;Corina S. Pǎsǎreanu;Radek Pelánek

  • SPIN Model Checking and Software Verification

    Klaus Havelund;John Penix;Willem Visser

  • Tool-supported program abstraction for finite-state verification

    Matthew B. Dwyer;John Hatcliff;Roby Joehanes;Shawn Laubach

  • Green: reducing, reusing and recycling constraints in program analysis

    Willem Visser;Jaco Geldenhuys;Matthew B. Dwyer

  • Verification of Java Programs Using Symbolic Execution and Invariant Generation

    Corina S. Păsăreanu;Willem Visser

  • Probabilistic symbolic execution

    Jaco Geldenhuys;Matthew B. Dwyer;Willem Visser

  • Auto-generating test sequences using model checkers: A case study

    Mats P. E. Heimdahl;Sanjai Rayadurgam;Willem Visser;George Devaraj

  • Addressing dynamic issues of program model checking

    Flavio Lerda;Willem Visser

  • Reliability analysis in symbolic pathfinder

    Antonio Filieri;Corina S. Pasareanu;Willem Visser

  • Heuristics for model checking Java programs

    Alex Groce;Willem Visser

  • Proceedings of the 38th International Conference on Software Engineering

    Laura Dillon;Willem Visser;Laurie Williams

Frequent Co-Authors

Corina S. Pasareanu
Corina S. Pasareanu Carnegie Mellon University
Matthew B. Dwyer
Matthew B. Dwyer University of Virginia
Klaus Havelund
Klaus Havelund Jet Propulsion Lab
Rafael H. Bordini
Rafael H. Bordini Pontifical Catholic University of Rio Grande do Sul
Michael Fisher
Michael Fisher University of Manchester
Sarfraz Khurshid
Sarfraz Khurshid The University of Texas at Austin
Michael Wooldridge
Michael Wooldridge University of Oxford
Laurie Williams
Laurie Williams North Carolina State University
Alex Groce
Alex Groce Northern Arizona University
Koushik Sen
Koushik Sen University of California, Berkeley

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

For those considering Computer Science studies, there are several flexible and accessible options to advance your education and career. Many students start with 2 year online degrees to quickly build foundational skills and credentials. This path can make it easier to enter the workforce sooner or continue on to a bachelor’s program.

Cost is also a big factor. There are many affordable online degree programs that offer quality education without the high price tag, helping you avoid major debt while still gaining essential skills.

Worried about your academic history? You might be surprised to learn that some will grad schools accept low gpa, opening doors for those who may not have excelled in traditional settings but are motivated to pursue a tech career.

Computer Science skills are highly versatile, much like in other fields. Curious about career options outside of pure tech roles? See how technology overlaps with other disciplines by exploring what can you do with an environmental science major. The world of online education offers diverse programs and career paths tailored to all backgrounds and interests.

Best Scientists Citing Willem Visser

Trending Scientists

Recently Published Articles