… run the NonDex tool on 200 open-source Java projects and detect 275 tests that fail due to
wrong … of failures, so we extend both of these tools to produce additional info for debugging. …

… repair wrong assumptions on underdetermined specifications in … NonDex tool on 200
open-source Java projects and detect … Debugging Support: We extend the existing NonDex tool to …

… We report underdetermined specification candidates in 12 Java Reflection API methods. …
[8] propose NonDex, a tool for detecting and debugging wrong assumptions on Java APIs. …

… This section deter mines whether NonDex finds errors that … it as future work to automate
debugging test failures.” The Deter … more upfront effort, and it produces false positive warnings. …

… technique to help developers debug flaky-test failures; and (2) … We implement our tool as a
Maven plugin for Java projects … testing environment being wrong, our tool having limitations, …

… is sound: it suffers no false negatives. If our type system issues … We ran NonDex on versions
of the projects that contain all … it as future work to automate debugging test failures.” The …

… )leading developers to debug the failure in the wrong place. … NonDex is a detector for tests
that make such assumptions. … each flaky test detected by iDFlakies or NonDex as described …

… automated techniques for the detection, debugging, and repair of … 2018 • First tool for detecting
flaky tests based on differential … incorrect assumptions regarding library specifications, like …

… We demonstrate this approach for Java and Groovy programs by … : Static assumptions that
always evaluate to true or false – … NonDex [7] targets implementation dependencies caused by …

… techniques to help developers detect and debug flaky tests. … flaky test detection tools like
DeFlaker [6], iDFlakies [7] and NonDex [… incorrect assumptions of API behavior can be detected …