pith. sign in

Christian Colombo (University of Malta)

Identifiers

  • name variant Christian Colombo (University of Malta) 0.60 · backfill

Papers (5)

  1. Exploring the Link Between Test Suite Quality and Automatic Specification Inference cs.SE · 2017 · author #2
  2. Control-Flow Residual Analysis for Symbolic Automata cs.LO · 2017 · author #2
  3. Comprehensive Monitor-Oriented Compensation Programming cs.SE · 2014 · author #1
  4. Extensible Technology-Agnostic Runtime Verification cs.SE · 2013 · author #1
  5. Simplifying Contract-Violating Traces cs.SE · 2012 · author #1

Mentions

  • 1404.0849 #1 · backfill · confidence 0.70 Christian Colombo (University of Malta)
  • 1302.5169 #1 · backfill · confidence 0.70 Christian Colombo (University of Malta)
  • 1209.2681 #1 · backfill · confidence 0.70 Christian Colombo (University of Malta)

Frequent Coauthors