Rody Kersten
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISSTA | Badger: complexity analysis with fuzzing and symbolic execution. | Yannic Noller, Rody Kersten, Corina S. Pasareanu |
| 2018 | SEFM | A Cloud-Based Execution Framework for Program Analysis. | Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Se Luckow, Rody Kersten, Gabor Karsai |
| 2017 | CCS | POSTER: AFL-based Fuzzing for Java with Kelinci. | Rody Kersten, Kasper Se Luckow, Corina S. Pasareanu |
| 2017 | ICST | Symbolic Complexity Analysis Using Context-Preserving Histories. | Kasper Se Luckow, Rody Kersten, Corina S. Pasareanu |
| 2017 | LPAR | Quantified Heap Invariants for Object-Oriented Programs. | Temesghen Kahsai, Rody Kersten, Philipp Rmmer, Martin Schf |