Author of the publication

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.

, , , and . ICST, page 91-101. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Supporting Automatic Code Review via Design., , and . SERE (Companion), page 211-218. IEEE, (2013)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , and . SEKE, page 369-374. Knowledge Systems Institute Graduate School, (2012)Optimizing translation information management in NAND flash memory storage systems., , , , , and . ASP-DAC, page 326-331. IEEE, (2013)Testing aspect-oriented programs with finite state machines., , , and . Softw. Test., Verif. Reliab., 22 (4): 267-293 (2012)Optimizing deterministic garbage collection in NAND flash storage systems., , , , , and . RTAS, page 14-23. IEEE Computer Society, (2015)An Empirical Study on Detecting and Fixing Buffer Overflow Bugs., , , and . ICST, page 91-101. IEEE Computer Society, (2016)Learning a Static Bug Finder from Data., , , and . CoRR, (2019)Lazy-RTGC: A Real-Time Lazy Garbage Collection Mechanism with Jointly Optimizing Average and Worst Performance for NAND Flash Memory Storage Systems., , , , , and . ACM Trans. Design Autom. Electr. Syst., 20 (3): 43:1-43:32 (2015)Simulating software behavior based on UML activity diagram., , , and . Internetware, page 31:1-31:4. ACM, (2013)Carraybound: static array bounds checking in C programs based on taint analysis., , , , , and . Internetware, page 81-90. ACM, (2016)