Modeling time in Java programs for automatic error detection.

Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger

Browse the full ICSE paper archive.