Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Richard Schumi"'
Autor:
Robert Korošec, Priska Bauerstätter, Severin Kann, Elisabeth Jöbstl, Rupert Schlick, Richard Schumi, Cristinel Mateis, Bernhard K. Aichernig, Willibald Krenn
Publikováno v:
Software Quality Journal. 27:757-795
Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for interactive systems. However, it is still challenging to test if a system provides accepta
Autor:
Jun Sun, Richard Schumi
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030714994
FASE
FASE
Compilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus cruci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c415785bea9f1980e96dbea7f513c0e2
https://doi.org/10.1007/978-3-030-71500-7_14
https://doi.org/10.1007/978-3-030-71500-7_14
Autor:
Richard Schumi, Pieter H. Hartel
Publikováno v:
Tests and Proofs ISBN: 9783030509941
TAP@STAF
TAP@STAF
It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and completeness o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0e12fb1ec60c551e795671f8c7a74b7
https://doi.org/10.1007/978-3-030-50995-8_2
https://doi.org/10.1007/978-3-030-50995-8_2
Publikováno v:
Tests and Proofs ISBN: 9783030311568
TAP@FM
TAP@FM
The Internet of things (IoT) is spreading into the everyday life of millions of people. However, the quality of the underlying communication technologies is still questionable. In this work, we are analysing the performance of an implementation of MQ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0127266758279076437c2bb5cf1bef2d
https://doi.org/10.1007/978-3-030-31157-5_7
https://doi.org/10.1007/978-3-030-31157-5_7
Autor:
Daniel Reijsbergen, Ivan Homoliak, Pawel Szalachowski, Qingze Hum, Richard Schumi, Sarad Venugopalan
Blockchains are distributed systems, in which security is a critical factor for their success. However, despite their increasing popularity and adoption, there is a lack of standardized models that study blockchain-related security threats. To fill t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64d2909fd0dae6e2cfdfe330eb7d6ee9
Autor:
Richard Schumi, Bernhard K. Aichernig
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783319991535
QEST
QEST
MQTT is one of the major messaging protocols in the Internet of things (IoT). In this work, we investigate the expected performance of MQTT implementations in various settings. We present a model-based performance testing approach that allows a fast
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5f19659ed1ccfce68325e10c38cb258
https://doi.org/10.1007/978-3-319-99154-2_3
https://doi.org/10.1007/978-3-319-99154-2_3
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319999326
SETTA
SETTA
Performance testing is becoming increasingly important for interactive systems. Evaluating their performance with respect to user expectations is complex, especially for different system deployments. Various load-testing approaches and performance-si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::583b062713afe78425551da6a1f86063
https://doi.org/10.1007/978-3-319-99933-3_11
https://doi.org/10.1007/978-3-319-99933-3_11
Autor:
Bernhard K. Aichernig, Richard Schumi
Publikováno v:
ICST
In recent years, statistical model checking (SMC) has become increasingly popular, because it scales well to larger stochastic models and is relatively simple to implement. SMC solves the model checking problem by simulating the model for finitely ma
Publikováno v:
ICST Workshops
Previous work has demonstrated that property-based testing (PBT) is a flexible random testing technique that facilitates the generation of complex form data. For example, it has been shown that PBT can be applied to web-service applications that requ