NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. - Alex Gyori; Ben Lambeth; August Shi; Owolabi Legunsen; Darko Marinov (SIGSOFT FSE, 2016)

Exploring Underdetermined Specifications using Java PathFinder. - Alex Gyori; Ben Lambeth; Sarfraz Khurshid; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2016)