( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analyzing Interaction Orderings with Model Checking.

, , , и . ASE, стр. 154-163. IEEE Computer Society, (2004)

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.

Heiko Visser

Karl Visser

Wietske Visser

Elke Visser

Judith Visser

 

Другие публикации лиц с тем же именем

Comparing paper ranking algorithms., и . SAICSIT, стр. 21-30. ACM, (2012)Probabilistic programming for Java using symbolic execution and model counting., и . SAICSIT, стр. 35:1-35:10. ACM, (2017)Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools., , и . SAICSIT, стр. 35-43. ACM, (2020)Heuristics for model checking Java programs., и . STTT, 6 (4): 260-276 (2004)JPF.Symbolic execution with abstraction, , и . International Journal on Software Tools for Technology Transfer (STTT), 11 (1): 53--67 (февраля 2009)Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution., , и . SPIN, том 5578 из Lecture Notes in Computer Science, стр. 174-191. Springer, (2009)Writing good software engineering research papers: revisited., , , и . ICSE (Companion Volume), стр. 402. IEEE Computer Society, (2017)SymInfer: inferring program invariants using symbolic states., , и . ASE, стр. 804-814. IEEE Computer Society, (2017)Analyzing Interaction Orderings with Model Checking., , , и . ASE, стр. 154-163. IEEE Computer Society, (2004)Java Ranger at SV-COMP 2020 (Competition Contribution)., , , , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 393-397. Springer, (2020)