Elméleti számítástudomány, formális módszerek, kvantumszámítástechnika
ConcurrentWitness2Test is a violation witness validator for concurrent software. Taking
both nondeterminism of data and interleaving-based nondeterminism into account, the
tool aims to use the metadata described in the violation witnesses to synthesize an
executable test harness. While plagued by some initial challenges yet to overcome,
the validation performance of ConcurrentWitness2Test corroborates the usefulness of
the proposed approach.
