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

Preface., and . Int. J. Software and Informatics, 4 (3): 347-349 (2010)Robustness testing for software components., , , , and . Sci. Comput. Program., 75 (10): 879-897 (2010)Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking., , , and . IPDPS, IEEE Computer Society, (2005)Query by Drawing Examples of UML Model., , and . APSEC Workshops, page 154-157. IEEE, (2012)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , and . SEKE, page 369-374. Knowledge Systems Institute Graduate School, (2012)Improve Model Checking Efficiency Using Specific Knowledge about the System., , , and . ISoLA, page 392-396. IEEE, (2006)Optimizing translation information management in NAND flash memory storage systems., , , , , and . ASP-DAC, page 326-331. IEEE, (2013)Verifying Compositional Designs for Scenario-Based Timing Specifications., , , , and . ISORC, page 253-256. IEEE Computer Society, (2004)An MDE-based method for bridging different design notations., , , and . ISSE, 4 (3): 203-213 (2008)Optimizing deterministic garbage collection in NAND flash storage systems., , , , , and . RTAS, page 14-23. IEEE Computer Society, (2015)