Alexandre Rebert is an author at Carnegie Mellon University specializing in system software, program analysis, and computer science.
Top concepts
EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFuzzingSoftware TestingFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2012–2016
5
5
Unleashing Mayhem on Binary Code
Sang Kil, Thanassis Avgerinos, Alexandre Rebert et al. · 2012 · 515 citations
Thanassis Avgerinos, Sang Kil, Alexandre Rebert et al. · Communications of the ACM · 2014 · 247 citations
Enhancing symbolic execution with veritesting
Thanassis Avgerinos, Alexandre Rebert, Sang Kil et al. · 2014 · 216 citations
Enhancing symbolic execution with veritesting
Thanassis Avgerinos, Alexandre Rebert, Sang Kil et al. · Communications of the ACM · 2016 · 22 citations · Full text
Rows per page
1–5 of 5