|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 4
Zeitschriftenartikel
Ernst, Gidon; Sedwards, Sean; Zhang, Zhenya und Hasuo, Ichiro
(2021):
Falsification of Hybrid Systems Using Adaptive Probabilistic Search.
In: Acm Transactions on Modeling and Computer Simulation, Bd. 31, Nr. 3, 18
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