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

A Gyori, B Lambeth, A Shi, O Legunsen… - Proceedings of the 2016 …, 2016 - dl.acm.org
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …
被引用次数：31 相关文章
[PDF] cornell.edu

[PDF][PDF] NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications

A Gyori, B Lambeth, A Shi, O Legunsen, D Marinov - cs.cornell.edu
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …
[PDF] utexas.edu

[PDF][PDF] NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications

A Gyori, B Lambeth, A Shi, O Legunsen, D Marinov - sites.utexas.edu
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …
[PDF] illinois.edu

[PDF][PDF] NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications

A Gyori, B Lambeth, A Shi, O Legunsen, D Marinov - mir.cs.illinois.edu
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …

NonDex: A tool for detecting and debugging wrong assumptions on Java api specifications

A Gyori, B Lambeth, A Shi, O Legunsen… - 24th ACM SIGSOFT …, 2016 - experts.illinois.edu
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underde-termined specifications to allow implementations to achieve …
[PDF] illinois.edu

[PDF][PDF] NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications

A Gyori, B Lambeth, A Shi, O Legunsen, D Marinov - mir.cs.illinois.edu
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …
[PDF] utexas.edu

[PDF][PDF] NonDex: A Tool for Detecting and Debugging Wrong Assumptions on Java API Specifications

A Gyori, B Lambeth, A Shi, O Legunsen, D Marinov - sites.utexas.edu
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …