Programs expecting structured inputs often consist of both a syntactic analysis stage, which
parses raw input, and a semantic analysis stage, which conducts checks on the parsed input …

Developers nowadays have to contend with a growing number of APIs. While in the long-
term they are very useful to developers, many modern APIs have an incredibly steep …

Machine translation plays an essential role in people's daily international communication.
However, machine translation systems are far from perfect. To tackle this problem …

Property-based testing is a style of testing popularised by the QuickCheck family of libraries,
first in Haskell (Claessen & Hughes, 2000) and later in Erlang (Arts, Hughes, Johansson, & …

We present Schemathesis, a tool for finding semantic errors and crashes in OpenAPI or
GraphQL web APIs through property-based testing. Our evaluation, thirty independent runs …

Property-based testing is a popular approach for validating the logic of a program. An
effective property-based test quickly generates many diverse valid test inputs and runs them …

Cryptography is a core component of many security applications, and flaws hidden in its
implementation will affect the functional integrity or, more severely, pose threats to data …

We describe internal test-case reduction, the method of test-case reduction employed by
Hypothesis, a widely-used property-based testing library for Python. The key idea of internal …

Much research on software testing makes an implicit assumption that test failures are
deterministic such that they always witness the presence of the same defects. However, this …

Property-based testing is a mainstay of functional programming, boasting a rich literature, an
enthusiastic user community, and an abundance of tools—so many, indeed, that new users …