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

Zeitschriftenartikel

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

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

Konferenzbeitrag

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

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