Travelled to:1 × Austria
1 × Canada
1 × Hungary
1 × Sweden
1 × Switzerland
1 × Turkey
2 × Italy
2 × Russia
5 × USA
Collaborated with:P.Hosek P.D.Marinescu T.Kapus H.Palikareva D.R.Engler A.F.Donaldson ∅ K.Wehrle D.Liew T.O.R.Allwood S.Eisenbach D.Dunbar P.Boonstoppel O.S.Dustmann T.Kuchta M.Castro M.Costa J.R.Stinnett M.Marcozzi Q.T.0001 L.Pina Anastasios Andronidis M.H.0001 R.Craven F.Toni A.Hadad M.Williams Oren Ish-Shalom S.Itzhaky N.Rinetzky M.C.Rinard D.Dumitran D.M.Roy T.Leu W.S.Beebee D.Schemmel R.Zähl P.Godefroid S.Khurshid C.S.Pasareanu K.Sen N.Tillmann W.Visser
Talks about:execut (12) test (11) symbol (9) softwar (5) program (5) coverag (5) multi (5) version (4) generat (3) automat (3)
Person: Cristian Cadar
DBLP: Cadar:Cristian
Contributed to:
2015
2015
2014
2014
2014
20132013
20132012
201220112011
2008
20082004201720182019
2019
20192019Wrote 23 papers:
- ASPLOS-2015-HosekC #execution #framework #performance
- VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
- ESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation
- Targeted program transformations for symbolic execution (CC), pp. 906–909.
- ASE-2014-KuchtaCCC #automation #documentation #named #towards
- Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
- ISSTA-2014-MarinescuHC #analysis #evolution #framework #named
- Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.
- SMT-2014-PalikarevaC #execution #multi #symbolic computation
- Multi-solver Support in Symbolic Execution (HP, CC), p. 15.
- CAV-2013-PalikarevaC #execution #multi #symbolic computation
- Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.
- ESEC-FSE-2013-MarinescuC #named #testing
- KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
- ICSE-2013-HosekC #execution #multi
- Safe software updates via multi-version execution (PH, CC), pp. 612–621.
- ICSE-2012-MarinescuC #execution #symbolic computation #testing
- make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
- KR-2012-CravenTCHW #performance
- Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).
- ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
- Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
- ISSTA-2011-AllwoodCE #haskell #source code #testing
- High coverage testing of Haskell programs (TORA, CC, SE), pp. 375–385.
- OSDI-2008-CadarDE #automation #generative #named #source code #testing
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (CC, DD, DRE), pp. 209–224.
- TACAS-2008-BoonstoppelCE #constraints #explosion #generative #named #testing
- RWset: Attacking Path Explosion in Constraint-Based Test Generation (PB, CC, DRE), pp. 351–366.
- OSDI-2004-RinardCDRLB #security
- Enhancing Server Availability and Security Through Failure-Oblivious Computing (MCR, CC, DD, DMR, TL, WSB), pp. 303–316.
- ASE-2017-KapusC #automation #difference #execution #generative #symbolic computation #testing
- Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
- ASE-2017-LiewSCDZW #case study #execution #float #programming #symbolic computation
- Floating-point symbolic execution: a case study in n-version programming (DL, DS, CC, AFD, RZ, KW), pp. 601–612.
- ASE-2018-DustmannWC #execution #multi #named #symbolic computation
- PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.
- ESEC-FSE-2019-KapusC #execution #memory management #symbolic computation
- A segmented memory model for symbolic execution (TK, CC), pp. 774–784.
- ESEC-FSE-2019-LiewCDS #constraints #float #fuzzing #using
- Just fuzz it: solving floating-point constraints using coverage-guided fuzzing (DL, CC, AFD, JRS), pp. 521–532.
- OOPSLA-2019-MarcozziTDC #compilation #fuzzing #how #matter #question
- Compiler fuzzing: how much does it matter? (MM, QT0, AFD, CC), p. 29.
- PLDI-2019-KapusIIRC #c #refactoring #string #summary #testing
- Computing summaries of string loops in C for better testing and refactoring (TK, OIS, SI, NR, CC), pp. 874–888.
- ASPLOS-2019-PinaA0C #execution #multi #named
- MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution (LP, AA, MH0, CC), pp. 573–585.