( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Taming a Fuzzer Using Delta Debugging Trails.

, , , , и . ICDM Workshops, стр. 840-843. IEEE Computer Society, (2014)

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)

Michael Alex

Alex Brakhage

Alex Mueller

Alex Niemoeller

 

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

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.One test to rule them all., , и . ISSTA, стр. 1-11. ACM, (2017)Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study., , , , , , и . VL/HCC, стр. 47-54. IEEE, (2011)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)Echidna: effective, usable, and fast fuzzing for smart contracts., , , , и . ISSTA, стр. 557-560. ACM, (2020)How hard does mutation analysis have to be, anyway?, , , , и . ISSRE, стр. 216-227. IEEE Computer Society, (2015)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)