98 citations · 110 across the 5 of their papers we have counts for
5 papers
PTE: Axiomatic Semantics based Compiler Testing
Guoliang Dong, Jun Sun, Richard Schumi +2
The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods h…
Semantic-Based Neural Network Repair
Richard Schumi, Jun Sun
Recently, neural networks have spread into numerous fields including many safety-critical systems. Neural networks are built (and trained) by programming in frameworks such as Tens…
ExAIS: Executable AI Semantics
Richard Schumi, Jun Sun
Neural networks can be regarded as a new programming paradigm, i.e., instead of building ever-more complex programs through (often informal) logical reasoning in the programmers' m…
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
Ivan Homoliak, Sarad Venugopalan, Qingze Hum +3
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 standar…
Mutation testing of smart contracts at scale
Pieter Hartel, Richard Schumi
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…