Further steps towards efficient runtime verification: handling probabilistic cost models.

Antonio Filieri, Carlo Ghezzi

Browse the full ICSE paper archive.