( en | de | ru )

 

Disambiguation of "Visser, Willem"

Author of the publication

copydeleteadd this publication to your clipboard
Auto-generating Test Sequences Using Model Checkers: A Case Study.

, , , , and . FATES, volume 2931 of Lecture Notes in Computer Science, page 42-59. Springer, (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

Heuristics for model checking Java programs., and . STTT, 6 (4): 260-276 (2004)JPF.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)Java Ranger at SV-COMP 2020 (Competition Contribution)., , , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 393-397. Springer, (2020)Comparing paper ranking algorithms., and . SAICSIT, page 21-30. ACM, (2012)Symbolic execution with abstraction, , and . International Journal on Software Tools for Technology Transfer (STTT), 11 (1): 53--67 (February 2009)Writing good software engineering research papers: revisited., , , and . ICSE (Companion Volume), page 402. IEEE Computer Society, (2017)Reliability analysis in symbolic pathfinder., , and . ICSE, page 622-631. IEEE Computer Society, (2013)A hands-on Java PathFinder tutorial., , and . ICSE, page 1493-1495. IEEE Computer Society, (2013)Analyzing Interaction Orderings with Model Checking., , , and . ASE, page 154-163. IEEE Computer Society, (2004)SymInfer: inferring program invariants using symbolic states., , and . ASE, page 804-814. IEEE Computer Society, (2017)