Ben Lambeth

According to our database, Ben Lambeth authored at least 2 papers in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Exploring Underdetermined Specifications using Java PathFinder.

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.

Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016