Author of the publication

Machine learning for finding bugs: An initial report.

, , , and . MaLTeSQuE@SANER, page 21-26. IEEE Computer Society, (2017)

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

Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case., and . ICSE, page 456-464. ACM, (1997)Parfait - A Scalable Bug Checker for C Code.. SCAM, page 263-264. IEEE Computer Society, (2008)Assembly to High-Level Language Translation., , and . ICSM, page 228-237. IEEE Computer Society, (1998)Specifying the Semantics of Machine Instructions., and . IWPC, page 126-133. IEEE Computer Society, (1998)Australian Recommendations on Computer Software Protection., and . Comput. J., 39 (7): 566-576 (1996)What is a Secure Programming Language?, and . SNAPL, volume 136 of LIPIcs, page 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)UQBT: Adaptive Binary Translation at Low Cost., and . Computer, 33 (3): 60-66 (2000)The legal status of reverse engineering of computer software., and . Ann. Softw. Eng., (2000)Parfait - Designing a Scalable Bug Checker., and . Scalable Program Analysis, volume 08161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Static deep error checking in large system applications using parfait., , , , , , , , , and . SIGSOFT FSE, page 432-435. ACM, (2011)