( en | de | ru )

 

Disambiguation of "Wüstholz, Valentin"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Fault Localization and Suspiciousness Ranking.

, , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 226-243. Springer, (2019)

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.

Georg Wüstholz

Gisbert Wüstholz

Rolf Wüstholz

Annette Wüstholz

Timo Wüstholz

 

Other publications of authors with the same name

Specification Mining for Smart Contracts with Automatic Abstraction Tuning., , , and . CoRR, (2018)Automatically Tailoring Static Analysis to Custom Usage Scenarios., , , , and . CoRR, (2020)Fine-Grained Caching of Verification Results., and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 380-397. Springer, (2015)Guiding dynamic symbolic execution toward unverified program executions., , and . ICSE, page 144-155. ACM, (2016)Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 429-452. Springer, (2021)Differentially Testing Soundness and Precision of Program Analyzers., , and . CoRR, (2018)Metamorphic testing of Datalog engines., , and . ESEC/SIGSOFT FSE, page 639-650. ACM, (2021)Partial Verification Results.. ETH Zurich, Zürich, Switzerland, (2015)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/105607).Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 425-449. Springer, (2022)Dependency-Aware Metamorphic Testing of Datalog Engines., , and . ISSTA, page 236-247. ACM, (2023)