pith. sign in

Andreas Zeller

Identifiers

No identifiers captured yet.

Papers (11)

  1. Better Code, Better Sharing:On the Need of Analyzing Jupyter Notebooks cs.SE · 2019 · author #3
  2. Bridging the Gap between Unit Test Generation and System Test Generation cs.SE · 2019 · author #2
  3. Carving Parameterized Unit Tests cs.SE · 2018 · author #2
  4. Inputs from Hell: Generating Uncommon Inputs from Common Samples cs.SE · 2018 · author #5
  5. Sample-Free Learning of Input Grammars for Comprehensive Software Fuzzing cs.SE · 2018 · author #5
  6. Active Learning of Input Grammars cs.PL · 2017 · author #3
  7. Quantifying the Information Leak in Cache Attacks through Symbolic Execution cs.CR · 2016 · author #4
  8. Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking cs.SE · 2014 · author #5
  9. Automated Fixing of Programs with Contracts cs.SE · 2014 · author #6
  10. Causes and Effects in Computer Programs cs.SE · 2003 · author #1
  11. Finding Failure Causes through Automated Testing cs.SE · 2000 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors