Rody Kersten

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