2016
Exploring Underdetermined Specifications using Java PathFinder.
[DOI]
Alex Gyori
,
Ben Lambeth
,
Sarfraz Khurshid
,
Darko Marinov
ACM SIGSOFT Softw. Eng. Notes, 2016

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications.
[DOI]
Alex Gyori
,
Ben Lambeth
,
August Shi
,
Owolabi Legunsen
,
Darko Marinov
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016