Rody Kersten

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 10

Top Topics

Complexity Analysis

Object Oriented

Symbolic Execution

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu
Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30 (7-8) (2020)
Yannic Noller, Rody Kersten, Corina S. Pasareanu
Badger: Complexity Analysis with Fuzzing and Symbolic Execution. SE/SWM (2019)
Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. 113 (2019)
Yannic Noller, Rody Kersten, Corina S. Pasareanu
Badger: Complexity Analysis with Fuzzing and Symbolic Execution. CoRR (2018)
Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai
A Cloud-Based Execution Framework for Program Analysis. SEFM (2018)
Yannic Noller, Rody Kersten, Corina S. Pasareanu
Badger: complexity analysis with fuzzing and symbolic execution. ISSTA (2018)
Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu
POSTER: AFL-based Fuzzing for Java with Kelinci. CCS (2017)
Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu
Symbolic Complexity Analysis Using Context-Preserving Histories. ICST (2017)
Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf
Quantified Heap Invariants for Object-Oriented Programs. LPAR (2017)
Rody Kersten, Martin Schäf, Temesghen Kahsai
Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen
Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA (2015)
Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen
ECAlogic: hardware-parametric energy-consumption analysis of algorithms. FOAL (2014)
Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods (2013)
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen
A Hoare Logic for Energy Consumption Analysis. FOPARA (2013)
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen
Making resource analysis practical for real-time Java. JTRES (2012)
Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen
Test-based inference of polynomial loop-bound functions. PPPJ (2010)