( en | de | ru )

 

Disambiguierung von "Cadar, Cristian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fuzzing: Challenges and Reflections.

, , und . IEEE Softw., 38 (3): 79-86 (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cristian Sommariva

Cristian Chitu

Cristian Picioreanu

Cristian Weiss

Cristian Cosentino

 

Weitere Publikationen von Autoren mit dem selben Namen

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively., , und . Empir. Softw. Eng., 27 (6): 129 (2022)SnapFuzz: An Efficient Fuzzing Framework for Network Applications., und . CoRR, (2022)A Deterministic Memory Allocator for Dynamic Symbolic Execution., , , , und . ECOOP, Volume 222 von LIPIcs, Seite 9:1-9:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)High coverage testing of Haskell programs., , und . ISSTA, Seite 375-385. ACM, (2011)Chopped symbolic execution., , , und . ICSE, Seite 350-360. ACM, (2018)Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?, , und . TAP@FM, Volume 11823 von Lecture Notes in Computer Science, Seite 41-54. Springer, (2019)A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)., , , , und . ACSAC, Seite 82-90. IEEE Computer Society, (2004)Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)., , und . Dagstuhl Reports, 9 (2): 27-47 (2019)Symbolic execution for software testing: three decades later., und . Commun. ACM, 56 (2): 82-90 (2013)Execution Generated Test Cases: How to Make Systems Code Crash Itself., und . SPIN, Volume 3639 von Lecture Notes in Computer Science, Seite 2-23. Springer, (2005)