( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Slither: a static analysis framework for smart contracts.

, , и . WETSEB@ICSE, стр. 8-15. IEEE / ACM, (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.

Maria Alexopoulou

Ethnic Foreign Policy und Identitätsbildung: die Griechisch-Amerikaner (1964 - 1978). FU Berlin, (2007)

Alex Dwenger

Alex Beuermann

Alex Volbring

Alex Gottwald

 

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

One test to rule them all., , и . ISSTA, стр. 1-11. ACM, (2017)Echidna: effective, usable, and fast fuzzing for smart contracts., , , , и . ISSTA, стр. 557-560. ACM, (2020)What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?, , , и . Financial Cryptography, том 12059 из Lecture Notes in Computer Science, стр. 634-653. Springer, (2020)Slither: a static analysis framework for smart contracts., , и . WETSEB@ICSE, стр. 8-15. IEEE / ACM, (2019)Rule Systems for Runtime Verification: A Short Tutorial., , , и . RV, том 5779 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2009)Heuristics for model checking Java programs., и . STTT, 6 (4): 260-276 (2004)JPF.Swarm Verification., , и . ASE, стр. 1-6. IEEE Computer Society, (2008)How Verified is My Code? Falsification-Driven Verification (T)., , , и . ASE, стр. 737-748. IEEE Computer Society, (2015)A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study., , , , и . QRS, стр. 510-517. IEEE, (2020)How hard does mutation analysis have to be, anyway?, , , , и . ISSRE, стр. 216-227. IEEE Computer Society, (2015)