Folgen
Richard Schumi
Richard Schumi
Bestätigte E-Mail-Adresse bei smu.edu.sg
Titel
Zitiert von
Zitiert von
Jahr
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
I Homoliak, S Venugopalan, D Reijsbergen, Q Hum, R Schumi, ...
IEEE Communications Surveys & Tutorials 23 (1), 341-390, 2020
412020
Property-based testing with FsCheck by deriving properties from business rule models
BK Aichernig, R Schumi
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
202016
How Fast Is MQTT?
BK Aichernig, R Schumi
International Conference on Quantitative Evaluation of Systems, 36-52, 2018
182018
Statistical model checking meets property-based testing
BK Aichernig, R Schumi
2017 IEEE International Conference on Software Testing, Verification and …, 2017
162017
Mutation Testing of Smart Contracts at Scale
P Hartel, R Schumi
International Conference on Tests and Proofs, 23-42, 2020
122020
Property-based testing of web services by deriving properties from business-rule models
BK Aichernig, R Schumi
Software & Systems Modeling 18 (2), 889-911, 2019
122019
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
R Schumi, P Lang, BK Aichernig, W Krenn, R Schlick
IFIP International Conference on Testing Software and Systems, 293-310, 2017
102017
Learning and statistical model checking of system response times
BK Aichernig, P Bauerstätter, E Jöbstl, S Kann, R Korošec, W Krenn, ...
Software quality journal 27 (2), 757-795, 2019
92019
Property-based testing with external test-case generators
BK Aichernig, S Marcovic, R Schumi
2017 IEEE International Conference on Software Testing, Verification and …, 2017
92017
SpecTest: Specification-Based Compiler Testing
R Schumi, J Sun
International Conference on Fundamental Approaches to Software Engineering …, 2021
72021
Towards integrating statistical model checking into property-based testing
BK Aichernig, R Schumi
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
62016
Case study: Automatic test case generation for a secure cache implementation
R Bloem, D Hein, F Röck, R Schumi
International Conference on Tests and Proofs, 58-75, 2015
62015
Predicting and Testing Latencies with Deep Learning: An IoT Case Study
BK Aichernig, F Pernkopf, R Schumi, A Wurm
International Conference on Tests and Proofs, 93-111, 2019
22019
Gas limit aware mutation testing of smart contracts at scale
P Hartel, R Schumi
arXiv preprint arXiv:1909.12563, 2019
22019
Statistical Model Checking of Response Times for Different System Deployments
BK Aichernig, S Kann, R Schumi
International Symposium on Dependable Software Engineering: Theories, Tools …, 2018
22018
ExAIS: Executable AI Semantics
R Schumi, J Sun
arXiv preprint arXiv:2202.09868, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16