Barely Significant
← all excerpts

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Computer Aided Verification · 2020 · PMC7363187

Europe PMC
1
hedged sentence
—
closest p
—
boldest claim

The sentences

fairly significantno p-value reported
As it is a somewhat large project with a fairly significant state space, we were unable to analyze it completely, even though our prototype still found several bugs.

also in 581 other papers

Quoted from the open-access full text in Europe PMC under the licence the publisher applied. The sentence is reproduced exactly as published; the emphasis is ours.