Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016
Latest Publications

TOTAL DOCUMENTS

100
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By ACM Press

9781450338455
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Supporting oracle construction via static analysis

2016 ◽  
Author(s):  
Junjie Chen ◽  
Yanwei Bai ◽  
Dan Hao ◽  
Lingming Zhang ◽  
Lu Zhang ◽  
...  
Keyword(s):  
Static Analysis

Static race detection for device drivers: the Goblint approach

2016 ◽  
Author(s):  
Vesal Vojdani ◽  
Kalmer Apinis ◽  
Vootele Rõtov ◽  
Helmut Seidl ◽  
Varmo Vene ◽  
...  
Keyword(s):  
Device Drivers ◽  
Race Detection ◽  
Static Race Detection
Load More ...
Sign in / Sign up

Export Citation Format

Share Document