( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
VARAN the Unbelievable: An Efficient N-version Execution Framework.

, и . ASPLOS, стр. 339-353. ACM, (2015)

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.

Cristian Sommariva

Cristian Chitu

Cristian Picioreanu

Cristian Weiss

Cristian Cosentino

 

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

Chopped symbolic execution., , , и . ICSE, стр. 350-360. ACM, (2018)Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?, , и . TAP@FM, том 11823 из Lecture Notes in Computer Science, стр. 41-54. Springer, (2019)A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)., , , , и . ACSAC, стр. 82-90. IEEE Computer Society, (2004)High coverage testing of Haskell programs., , и . ISSTA, стр. 375-385. ACM, (2011)A Deterministic Memory Allocator for Dynamic Symbolic Execution., , , , и . ECOOP, том 222 из LIPIcs, стр. 9:1-9:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Symbolic Testing of OpenCL Code., , и . Haifa Verification Conference, том 7261 из Lecture Notes in Computer Science, стр. 203-218. Springer, (2011)Execution Generated Test Cases: How to Make Systems Code Crash Itself., и . SPIN, том 3639 из Lecture Notes in Computer Science, стр. 2-23. Springer, (2005)Compiler fuzzing: how much does it matter?, , , и . Proc. ACM Program. Lang., 3 (OOPSLA): 155:1-155:29 (2019)SaBRe: load-time selective binary rewriting., , , , , , и . Int. J. Softw. Tools Technol. Transf., 24 (2): 205-223 (2022)VARAN the Unbelievable: An Efficient N-version Execution Framework., и . ASPLOS, стр. 339-353. ACM, (2015)