Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2016
DOI: 10.1145/2950290.2983932
|View full text |Cite
|
Sign up to set email alerts
|

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications

Abstract: We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs. Some APIs have underdetermined specifications to allow implementations to achieve different goals, e.g., to optimize performance. When clients of such APIs assume stronger-than-specified guarantees, the resulting client code can fail. For example, HashSet's iteration order is underdetermined, and code assuming some implementation-specific iteration order can fail. NonDex helps to proactively detect and debug such wrong assump… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
1
0

Year Published

2021
2021
2023
2023

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 16 publications
(2 citation statements)
references
References 3 publications
0
1
0
Order By: Relevance
“…Researchers presented different tools and approaches to detect flaky tests in a more efficient way. Notably, DeFlaker [28], IDFlakies [9], Shaker [10] and NonDex [29] attempt to facilitate the detection of flaky tests compared to exhaustive reruns. Because the cost of running tests is viewed as expensive, researchers also sought to suggest static alternatives for the detection.…”
Section: Related Workmentioning
confidence: 99%
“…Researchers presented different tools and approaches to detect flaky tests in a more efficient way. Notably, DeFlaker [28], IDFlakies [9], Shaker [10] and NonDex [29] attempt to facilitate the detection of flaky tests compared to exhaustive reruns. Because the cost of running tests is viewed as expensive, researchers also sought to suggest static alternatives for the detection.…”
Section: Related Workmentioning
confidence: 99%
“…iFixFlakies [40] aims to automatically fix order-dependent tests by utilising helper tests to reset the state required for order-dependent tests to pass. NonDex [41] targets implementation dependencies caused by assumptions developers make about under-determined APIs in the Java standard libraries, for instance the iteration order of hashed collections.…”
Section: A Flaky Test Detection Techniquesmentioning
confidence: 99%