Follow
Rody Kersten
Title
Cited by
Cited by
Year
POSTER: AFL-based Fuzzing for Java with Kelinci
R Kersten, K Luckow, CS Păsăreanu
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
712017
Badger: complexity analysis with fuzzing and symbolic execution
Y Noller, R Kersten, CS Păsăreanu
Proceedings of the 27th ACM SIGSOFT international symposium on software …, 2018
692018
Symbolic execution and recent applications to worst-case execution, load testing and security analysis
CS Pasareanu, R Kersten, L Kasper, QS Phan
Advances in Computers 22, 2018
342018
Symbolic complexity analysis using context-preserving histories
K Luckow, R Kersten, C Păsăreanu
2017 IEEE International Conference on Software Testing, Verification and …, 2017
322017
Test-based inference of polynomial loop-bound functions
O Shkaravska, R Kersten, M Van Eekelen
Proceedings of the 8th International Conference on the Principles and …, 2010
302010
Quantified heap invariants for object-oriented programs
T Kahsai, R Kersten, P Rümmer, M Schäf
LPAR-21, May 7–12, 2017, Maun, Botswana, 368-384, 2017
202017
A Hoare logic for energy consumption analysis
R Kersten, PP Toldin, B van Gastel, M van Eekelen
Foundational and Practical Aspects of Resource Analysis: Third International …, 2014
142014
ResAna: a resource analysis toolset for (real‐time) JAVA
RWJ Kersten, BE Van Gastel, O Shkaravska, M Montenegro, ...
Concurrency and Computation: Practice and Experience 26 (14), 2432-2455, 2014
112014
Using dependent types to define energy augmented semantics of programs
B Van Gastel, R Kersten, M Van Eekelen
Foundational and Practical Aspects of Resource Analysis: 4th International …, 2016
102016
Making resource analysis practical for real-time Java
R Kersten, O Shkaravska, B van Gastel, M Montenegro, M van Eekelen
Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012
102012
Complexity vulnerability analysis using symbolic execution
K Luckow, R Kersten, C Pasareanu
Software Testing, Verification and Reliability 30 (7-8), e1716, 2020
72020
Improving coverage of test cases generated by symbolic pathfinder for programs with loops
R Kersten, S Person, N Rungta, O Tkachuk
ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015
62015
ECAlogic: hardware-parametric energy-consumption analysis of algorithms
M Schoolderman, J Neutelings, R Kersten, M van Eekelen
Proceedings of the 13th workshop on Foundations of aspect-oriented languages …, 2014
62014
Soundness proof for a Hoare logic for energy consumption analysis
PP Toldin, R Kersten, B Gastel, M van Eekelen
Nijmegen: ICIS, 2013
52013
Model checking Tamper-Evident Pairing
M Drijvers, M van Eekelen, R Kersten
Bachelor thesis, Radboud University Nijmegen, 24, 2012
32012
Using model-checking to reveal a vulnerability of tamper-evident pairing
R Kersten, B van Gastel, M Drijvers, S Smetsers, M van Eekelen
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013
22013
Ranking functions for loops with disjunctive exit-conditions
RWJ Kersten, M van Eekelen
Madrid: Dept. Computer Systems and Computing Universidad Complutense de Madrid, 2011
22011
A Cloud-Based Execution Framework for Program Analysis
R Kersten, G Karsai
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
2018
A Cloud-Based Execution Framework for Program Analysis
D Balasubramanian, D Kostyuchenko, K Luckow, R Kersten, G Karsai
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
2018
Resource Contracts for Java
R Kersten, M Schäf, T Kahsai
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20