( en | de | ru )

 

Disambiguation of "Visser, Willem"

Author of the publication

copydeleteadd this publication to your clipboard
SoftMC 2003: Workshop on Software Model Checking.

, , and . SoftMC@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 377. Elsevier, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heiko Visser

Karl Visser

Wietske Visser

Judith Visser

Elke Visser

 

Other publications of authors with the same name

Symbolic execution with abstraction, , and . International Journal on Software Tools for Technology Transfer (STTT), 11 (1): 53--67 (February 2009)Comparing paper ranking algorithms., and . SAICSIT, page 21-30. ACM, (2012)Heuristics for model checking Java programs., and . Int. J. Softw. Tools Technol. Transf., 6 (4): 260-276 (2004)Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools., , and . SAICSIT, page 35-43. ACM, (2020)Verifying Multi-agent Programs by Model Checking., , , and . Auton. Agents Multi Agent Syst., 12 (2): 239-256 (2006)Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 174-191. Springer, (2009)SymInfer: Inferring Program Invariants using Symbolic States., , and . CoRR, (2019)Finding feasible abstract counter-examples., , and . Int. J. Softw. Tools Technol. Transf., 5 (1): 34-48 (2003)Probabilistic programming for Java using symbolic execution and model counting., and . SAICSIT, page 35:1-35:10. ACM, (2017)Evolutionary Multi-Task Injection Testing on Web Application Firewalls., , and . CoRR, (2022)