NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications
We present NonDex, a tool for detecting and debugging wrong assumptions on Java APIs.
Some APIs have underdetermined specifications to allow implementations to achieve …
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 …
Some APIs have underde-termined specifications to allow implementations to achieve …
[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 …
Some APIs have underdetermined specifications to allow implementations to achieve …
[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 …
Some APIs have underdetermined specifications to allow implementations to achieve …
[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 …
Some APIs have underdetermined specifications to allow implementations to achieve …
[引用][C] 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 …
Some APIs have underdetermined specifications to allow implementations to achieve …
[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 …
Some APIs have underdetermined specifications to allow implementations to achieve …