Concepedia

Andrew Henderson

AH

4

Publications

234

Citations

4

H-Index

1993

Active since

Affiliations

Syracuse University(Current)

Andrew Henderson is an author at Syracuse University specializing in engineering, computer science, and software testing.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal VerificationComputer Engineering

Publications per year

1993–2017

4

Publications

4

Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform

Andrew Henderson, Aravind Prakash, Lok Kwong Yan et al. · 2014 · 97 citations

Instruction Tracer, Engineering, Computer Architecture +20

Extracting Conditional Formulas for Cross-Platform Bug Search

Feng Qian, Minghua Wang, Mu Zhang et al. · 2017 · 64 citations

Software Maintenance, Engineering, Software Engineering +25

DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform

Andrew Henderson, Lok Kwong Yan, Xunchao Hu et al. · IEEE Transactions on Software Engineering · 2016 · 48 citations

Engineering, Computer Architecture, Software Engineering +18

Human factors in computing systems

S. Aslund, Andrew Henderson, Erik Hollnagel et al. · Data Archiving and Networked Services (DANS) · 1993 · 25 citations

Human Factor, Engineering, Human Machine System +8

Rows per page

1–4 of 4