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
1012020
Mutation Testing of Smart Contracts at Scale
P Hartel, R Schumi
International Conference on Tests and Proofs, 23-42, 2020
252020
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
252016
How fast is MQTT? Statistical model checking and testing of IoT protocols
BK Aichernig, R Schumi
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
212018
Statistical model checking meets property-based testing
BK Aichernig, R Schumi
2017 IEEE International Conference on Software Testing, Verification and …, 2017
192017
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, 757-795, 2019
172019
Property-based testing of web services by deriving properties from business-rule models
BK Aichernig, R Schumi
Software & Systems Modeling 18, 889-911, 2019
172019
Spectest: Specification-based compiler testing
R Schumi, J Sun
Fundamental Approaches to Software Engineering: 24th International …, 2021
122021
Checking response-time properties of web-service applications under stochastic user profiles
R Schumi, P Lang, BK Aichernig, W Krenn, R Schlick
Testing Software and Systems: 29th IFIP WG 6.1 International Conference …, 2017
112017
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
ExAIS: executable AI semantics
R Schumi, J Sun
Proceedings of the 44th International Conference on Software Engineering …, 2022
72022
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
72016
Case study: Automatic test case generation for a secure cache implementation
R Bloem, D Hein, F Röck, R Schumi
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015
62015
Gas limit aware mutation testing of smart contracts at scale
P Hartel, R Schumi
arXiv preprint arXiv:1909.12563, 2019
22019
Predicting and testing latencies with deep learning: An iot case study
BK Aichernig, F Pernkopf, R Schumi, A Wurm
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019
22019
Statistical model checking of response times for different system deployments
BK Aichernig, S Kann, R Schumi
Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018
22018
Semantic-based neural network repair
R Schumi, J Sun
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
12023
PTE: Axiomatic Semantics based Compiler Testing
G Dong, J Sun, R Schumi, B Wang, X Wang
arXiv preprint arXiv:2401.01036, 2024
2024
Semantic-based neural network repair.(2023)
R SCHUMI, J SUN
ISSTA, 2023
2023
SpecTest: Specification-based compiler testing.(2021)
R SCHUMI, J SUN
FASE, 2021
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20