( en | de | ru )

 

Disambiguierung von "Cadar, Cristian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic execution for software testing in practice: preliminary assessment.

, , , , , , und . ICSE, Seite 1066-1071. ACM, (2011)

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 Pellizzer

Cristian Cosentino

 

Weitere Publikationen von Autoren mit dem selben Namen

High coverage testing of Haskell programs., , und . ISSTA, Seite 375-385. ACM, (2011)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)Chopped symbolic execution., , , und . ICSE, Seite 350-360. ACM, (2018)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)Safe software updates via multi-version execution., und . ICSE, Seite 612-621. IEEE Computer Society, (2013)Computing summaries of string loops in C for better testing and refactoring., , , , und . PLDI, Seite 874-888. ACM, (2019)Multi-version software updates., und . HotSWUp, Seite 36-40. IEEE Computer Society, (2012)SnapFuzz: high-throughput fuzzing of network applications., und . ISSTA, Seite 340-351. ACM, (2022)VARAN the Unbelievable: An Efficient N-version Execution Framework., und . ASPLOS, Seite 339-353. ACM, (2015)