Concepedia

Po-Yen Huang

PH

2

Publications

94

Citations

2

H-Index

2012

Active since

Affiliations

National Yang Ming Chiao Tung University(Current)

Po-Yen Huang is an author at National Yang Ming Chiao Tung University specializing in formal methods, system software, and formal verification.

Top concepts

FuzzingEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2012–2014

2

Publications

2

CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations

Shih-Kun Huang, Min-Hsiang Huang, Po-Yen Huang et al. · 2012 · 62 citations

Software Maintenance, Engineering, Simple Framework +21

Software Crash Analysis for Automatic Exploit Generation on Binary Programs

Shih-Kun Huang, Min-Hsiang Huang, Po-Yen Huang et al. · IEEE Transactions on Reliability · 2014 · 32 citations

Software Maintenance, Engineering, Software Systems +23

Rows per page

1–2 of 2