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

Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov. NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. In Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. pages 993-997, ACM, 2016. [doi]

Authors

Alex Gyori

This author has not been identified. Look up 'Alex Gyori' in Google

Ben Lambeth

This author has not been identified. Look up 'Ben Lambeth' in Google

August Shi

This author has not been identified. Look up 'August Shi' in Google

Owolabi Legunsen

This author has not been identified. Look up 'Owolabi Legunsen' in Google

Darko Marinov

This author has not been identified. Look up 'Darko Marinov' in Google