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.

 

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

Automating Differential Testing with Overapproximate Symbolic Execution., и . ICST, стр. 256-266. IEEE, (2022)Privacy Impacts of IoT Devices: A SmartTV Case Study., , и . RE Workshops, стр. 261-270. IEEE Computer Society, (2016)On The Use of Over-Approximate Analysis in Support of Software Development and Testing.. Georgia Institute of Technology, Atlanta, GA, USA, (2023)base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/70148).Zero-overhead path prediction with progressive symbolic execution., , , , , и . ICSE, стр. 234-245. IEEE / ACM, (2019)PG-KLEE: trading soundness for coverage., и . ICSE (Companion Volume), стр. 65-68. ACM, (2020)Identifying and classifying ambiguity for regulatory requirements., , , и . RE, стр. 83-92. IEEE Computer Society, (2014)