ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)

会议论文
出版模式：

开放获取
发表日期：

2024年

查看全文

Levente Bajczi,
Zsófia Ádám,
Zoltán Micskei

摘要

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.