Items where Author is "Bollin, Andreas"
computer bugs
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin
(2018)
Modeling time in Java programs for automatic error detection.
In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18.
ACM, New York, USA, pp. 50-59.
ISBN 978-1450357180
(doi:10.1145/3193992.3193997)
Java
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin
(2018)
Modeling time in Java programs for automatic error detection.
In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18.
ACM, New York, USA, pp. 50-59.
ISBN 978-1450357180
(doi:10.1145/3193992.3193997)
runtime
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin
(2018)
Modeling time in Java programs for automatic error detection.
In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18.
ACM, New York, USA, pp. 50-59.
ISBN 978-1450357180
(doi:10.1145/3193992.3193997)
semantics
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin
(2018)
Modeling time in Java programs for automatic error detection.
In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18.
ACM, New York, USA, pp. 50-59.
ISBN 978-1450357180
(doi:10.1145/3193992.3193997)
software
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin
(2018)
Modeling time in Java programs for automatic error detection.
In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18.
ACM, New York, USA, pp. 50-59.
ISBN 978-1450357180
(doi:10.1145/3193992.3193997)
tools
Liva, Giovanni, Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin
(2018)
Modeling time in Java programs for automatic error detection.
In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18.
ACM, New York, USA, pp. 50-59.
ISBN 978-1450357180
(doi:10.1145/3193992.3193997)