AC-Contract: Run-Time Verification of Context-Aware Applications.

Marina Mongiello, Patrizio Pelliccione, Massimo Sciancalepore

Browse the full ICSE paper archive.