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.

 

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

Model-based whitebox fuzzing for program binaries., , и . ASE, стр. 543-553. ACM, (2016)Welcome., , и . Commun. ACM, 63 (4): 44-46 (2020)Past expression: encapsulating pre-states at post-conditions by means of AOP., , , и . AOSD, стр. 133-144. ACM, (2013)Automated Repair of Programs from Large Language Models., , , , и . ICSE, стр. 1469-1481. IEEE, (2023)A Conservative Technique to Improve Deterministic Evaluation of Logic Programs., , , и . ICCL, стр. 196-205. IEEE Computer Society, (1998)Scalable and precise refinement of cache timing analysis via path-sensitive verification., и . Real Time Syst., 49 (4): 517-562 (2013)Fairness-guided SMT-based Rectification of Decision Trees and Random Forests., , , и . CoRR, (2020)A Retargetable Software Timing Analyzer Using Architecture Description Language., , , , и . ASP-DAC, стр. 396-401. IEEE Computer Society, (2007)A correlation study between automated program repair and test-suite metrics., , , , и . ICSE, стр. 24. ACM, (2018)Using Compressed Bytecode Traces for Slicing Java Programs., и . ICSE, стр. 512-521. IEEE Computer Society, (2004)