Author of the publication

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

Testing aspect-oriented programs with finite state machines., , , and . Softw. Test., Verif. Reliab., 22 (4): 267-293 (2012)Optimizing translation information management in NAND flash memory storage systems., , , , , and . ASP-DAC, page 326-331. IEEE, (2013)Supporting Automatic Code Review via Design., , and . SERE (Companion), page 211-218. IEEE, (2013)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)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)Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer., , , , , and . SEKE, page 369-374. Knowledge Systems Institute Graduate School, (2012)Learning a Static Bug Finder from Data., , , and . CoRR, (2019)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)