( en | de | ru )

 

Disambiguation of "Cadar, Cristian"

Author of the publication

copydeleteadd this publication to your clipboard
make test-zesti: A symbolic execution solution for improving regression testing.

, and . ICSE, page 716-726. IEEE Computer Society, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

Cristian Sommariva

Cristian Chitu

Cristian Picioreanu

Cristian Weiss

Cristian Cosentino

 

Other publications of authors with the same name

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