| Title: | 
						NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications | 
					
					
						| Article URLs: | 
						
							
						 | 
					
					
						| Alternative Article URLs: | 
						 | 
					
					
						| Authors: | 
						Alex Gyori | 
						
							
								- 
									University of Illinois at Urbana-Champaign, Department of Computer Science
								
 
							 
						 | 
					
					
						| Ben Lambeth | 
						
							
								- 
									University of Illinois at Urbana-Champaign, Department of Computer Science
								
 
							 
						 | 
					
					
						| August Shi | 
						
							
								- 
									University of Illinois at Urbana-Champaign, Department of Computer Science
								
 
							 
						 | 
					
					
						| Owolabi Legunsen | 
						
							
								- 
									University of Illinois at Urbana-Champaign, Department of Computer Science
								
 
							 
						 | 
					
					
						| Darko Marinov | 
						
							
								- 
									University of Illinois at Urbana-Champaign, Department of Computer Science
								
 
							 
						 | 
					
					
						| Sharing: | 
						
							Unknown
						 | 
					
					
						| Verification: | 
						
							Authors have
							not verified
							information
						 | 
					
					
						| Artifact Evaluation Badge: | 
						
							none
						 | 
					
					
						| Artifact URLs: | 
						
							
						 | 
					
					
						| Artifact Correspondence Email Addresses: | 
						
							
						 | 
					
					
						| NSF Award Numbers: | 
						
						1409423, 
						1421503, 
						1439957
						 | 
					
					
						| DBLP Key: | 
						
							conf/sigsoft/GyoriLSLM16
						 | 
					
					
						| Author Comments: |  
						 |