From post

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.

 

Другие публикации лиц с тем же именем

COMB: computing relevant program behaviors., , , , и . ICSE (Companion Volume), стр. 109-112. ACM, (2018)Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel., , и . ISSRE Workshops, стр. 264-270. IEEE Computer Society, (2016)Modeling lessons from verifying large software systems for safety and security., , , и . WSC, стр. 1431-1442. IEEE, (2017)SYMake: a build code analysis and refactoring tool for makefiles., , , и . ASE, стр. 366-369. ACM, (2012)Fuzzy set and cache-based approach for bug triaging., , , и . SIGSOFT FSE, стр. 365-375. ACM, (2011)Human-machine resolution of Invisible Control Flow?, , и . ICPC, стр. 1-4. IEEE Computer Society, (2016)Fuzzy set approach for automatic tagging in evolving software., , , , и . ICSM, стр. 1-10. IEEE Computer Society, (2010)Fuzzy set-based automatic bug triaging., , , и . ICSE, стр. 884-887. ACM, (2011)Graph-based pattern-oriented, context-sensitive source code completion., , , , , , и . ICSE, стр. 69-79. IEEE Computer Society, (2012)Build code analysis with symbolic evaluation., , , и . ICSE, стр. 650-660. IEEE Computer Society, (2012)