TestingResearchIllinois/NonDex
A tool for finding assumptions on APIs with under-determined specifications.
JavaNOASSERTION
Stargazers
- 0x6675636b796f75676974687562ex-@JetBrains, now Umbrella Corp.
- aaronemasseyGoogle
- aditya-kumbharChampaign, Illinois
- Ahmadreza-SYOttawa, Ontario
- Anjiang-WeiStanford University
- areyouokBeijing
- carlos-velasco
- ChanStormstout
- ChopinLi-cpUT Austin
- electrum@trinodb @starburstdata
- funkygao@jdwl
- gaul@Google
- jensgram
- jfrazee@microsoft
- jhjimenez-lktnPerficient Latin America
- kaiyaok2
- lembergerth@sosy-lab
- magsilvaFederal University of Technology - Paraná (UTFPR)
- matthew822-e
- panpili
- pengyuejiangCornell University
- pradzins
- pthariensflameModesto, CA, USA
- QianyangPengRuntime Verification Inc.
- sebthomVegard IT GmbH @vegardit
- sepe81Germany, Leipzig
- shalksensorsdata
- shibuiwilliam
- shuaiwang516University of Illinois Urbana-Champaign
- slachiewiczGdańsk, Poland
- Talank@JankariTech @owncloud
- therealJacobWuSalesforce.com, Inc
- unshorn
- victoryang00Baskin Engineering
- zpintoLinkedIn
- zzrcxbNVIDIA Research