Hendra Gunadi

According to our database, Hendra Gunadi authored at least 5 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Seed selection for successful fuzzing.

Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2019

MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation.

Liam Hayes, Hendra Gunadi, Adrian Herrera, Jonathon Milford, Shane Magrath, Maggi Sebastian, Michael Norrish, Antony L. Hosking

CoRR, 2019

2015

Formal Certification of Android Bytecode.

Hendra Gunadi, Alwen Tiu, Rajeev Goré

CoRR, 2015

Formal Certification of Non-interferent Android Bytecode (DEX Bytecode).

Hendra Gunadi

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System.

Hendra Gunadi, Alwen Tiu

Proceedings of the FM 2014: Formal Methods, 2014