• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2020
• 
  Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
  Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30(7-8) (2020)
• 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: 289-314 (2019)
• 
  Yannic Noller, Rody Kersten, Corina S. Pasareanu:
  Badger: Complexity Analysis with Fuzzing and Symbolic Execution. SE/SWM 2019: 65-66
• 2018
• 
  Yannic Noller, Rody Kersten, Corina S. Pasareanu:
  Badger: complexity analysis with fuzzing and symbolic execution. ISSTA 2018: 322-332
• 
  Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
  A Cloud-Based Execution Framework for Program Analysis. SEFM 2018: 139-154
• 
  Yannic Noller, Rody Kersten, Corina S. Pasareanu:
  Badger: Complexity Analysis with Fuzzing and Symbolic Execution. CoRR abs/1806.03283 (2018)
• 2017
• 
  Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu:
  POSTER: AFL-based Fuzzing for Java with Kelinci. CCS 2017: 2511-2513
• 
  Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
  Symbolic Complexity Analysis Using Context-Preserving Histories. ICST 2017: 58-68
• 
  Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf:
  Quantified Heap Invariants for Object-Oriented Programs. LPAR 2017: 368-384
• 2016
• 
  Rody Kersten, Martin Schäf, Temesghen Kahsai:
  Resource Contracts for Java. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016)
• 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): 1-5 (2015)
• 
  Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen:
  Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA 2015: 20-39
• 2014
• 
  Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen:
  ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26(14): 2432-2455 (2014)
• 
  Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen:
  ECAlogic: hardware-parametric energy-consumption analysis of algorithms. FOAL 2014: 19-22
• 2013
• 
  Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen:
  A Hoare Logic for Energy Consumption Analysis. FOPARA 2013: 93-109
• 
  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: 63-77
• 2012
• 
  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: 135-144
• 2010
• 
  Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen:
  Test-based inference of polynomial loop-bound functions. PPPJ 2010: 99-108