Login / Signup
Ben Lambeth
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Java Code
Object Oriented Programming Language
Cross Platform
Delay Insensitive
Top Venues
SIGSOFT FSE
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Alex Gyori
,
Ben Lambeth
,
Sarfraz Khurshid
,
Darko Marinov
Exploring Underdetermined Specifications using Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes
41 (6) (2016)
Alex Gyori
,
Ben Lambeth
,
August Shi
,
Owolabi Legunsen
,
Darko Marinov
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications.
SIGSOFT FSE
(2016)