Insu Yun
Software · 2018
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Software — 15 citations into it
Whom Insu Yun trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Patrice Godefroid
- Cristian Cadar
- Koushik Sen
- Nicholas Nethercote
- Peng Chen
- Vitaly Chipounov
- Marcel Böhme
- Sang Kil Cha
- Yan Shoshitaishvili
- Sanjay Rawat
Papers from Insu Yun's perspective
Ordered by how strongly the researchers Insu Yun trusts endorse each paper. Same corpus, a different order for every researcher.
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- EXE: automatically generating inputs of death
- Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
- CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Unleashing Mayhem on Binary Code (IEEE Symposium on Security and Privacy)
- Hybrid Concolic Testing (International Conference on Software Engineering)
- Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
- S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)
Their papers
- QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing (2018) — 559 citations