Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2022 | 2020 | 2019
Anzahl der Publikationen: 3

2022

Liu, Dongge; Pham, Van-Thuan; Ernst, Gidon; Murray, Toby und Rubinstein, Benjamin I.P. (2022): State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Honolulu, HI, USA, 15-18 March 2022. In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Piscataway, NJ, USA: IEEE. S. 720-730

2020

Liu, Dongge; Ernst, Gidon; Murray, Toby und Rubinstein, Benjamin I. P. (2020): LEGION: Best-First Concolic Testing. In: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (Ase 2020): S. 54-65

2019

Ernst, Gidon und Murray, Toby (2019): SECCSL: Security Concurrent Separation Logic. In: Computer Aided Verification, Cav 2019, Pt Ii, Bd. 11562: S. 208-230

Diese Liste wurde am Sat Dec 21 20:45:49 2024 CET erstellt.