( en | de | ru )

 

Disambiguation of "Schumi, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
PTE: Axiomatic Semantics based Compiler Testing.

, , , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Emanuel Schumi

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)

Richard Freter

Richard Neveling

Richard Ciesielski

 

Other publications of authors with the same name

How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols., and . QEST, volume 11024 of Lecture Notes in Computer Science, page 36-52. Springer, (2018)Gas limit aware mutation testing of smart contracts at scale., and . CoRR, (2019)Statistical Model Checking of Response Times for Different System Deployments., , and . SETTA, volume 10998 of Lecture Notes in Computer Science, page 153-169. Springer, (2018)Property-Based Testing with External Test-Case Generators., , and . ICST Workshops, page 337-346. IEEE Computer Society, (2017)Mutation Testing of Smart Contracts at Scale., and . TAP@STAF, volume 12165 of Lecture Notes in Computer Science, page 23-42. Springer, (2020)The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses., , , , , and . CoRR, (2019)Case Study: Automatic Test Case Generation for a Secure Cache Implementation., , , and . TAP, volume 9154 of Lecture Notes in Computer Science, page 58-75. Springer, (2015)Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles., , , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 293-310. Springer, (2017)SpecTest: Specification-Based Compiler Testing., and . FASE, volume 12649 of Lecture Notes in Computer Science, page 269-291. Springer, (2021)Property-based testing of web services by deriving properties from business-rule models., and . Softw. Syst. Model., 18 (2): 889-911 (2019)