( en | de | ru )

 

Disambiguierung von "Visser, Willem"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Interaction Orderings with Model Checking.

, , , und . ASE, Seite 154-163. IEEE Computer Society, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heiko Visser

Karl Visser

Wietske Visser

Elke Visser

Judith Visser

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic execution with abstraction, , und . International Journal on Software Tools for Technology Transfer (STTT), 11 (1): 53--67 (Februar 2009)Heuristics for model checking Java programs., und . STTT, 6 (4): 260-276 (2004)JPF.Comparing paper ranking algorithms., und . SAICSIT, Seite 21-30. ACM, (2012)Probabilistic programming for Java using symbolic execution and model counting., und . SAICSIT, Seite 35:1-35:10. ACM, (2017)Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution., , und . SPIN, Volume 5578 von Lecture Notes in Computer Science, Seite 174-191. Springer, (2009)Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools., , und . SAICSIT, Seite 35-43. ACM, (2020)Java Ranger at SV-COMP 2020 (Competition Contribution)., , , , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 393-397. Springer, (2020)Reliability analysis in symbolic pathfinder., , und . ICSE, Seite 622-631. IEEE Computer Society, (2013)A hands-on Java PathFinder tutorial., , und . ICSE, Seite 1493-1495. IEEE Computer Society, (2013)Analyzing Interaction Orderings with Model Checking., , , und . ASE, Seite 154-163. IEEE Computer Society, (2004)