Ares: Inferring Error Specifications through Static Analysis
In: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE); (2019-11-01) S. 1174-1177
Online
Konferenz
Zugriff:
Titel: |
Ares: Inferring Error Specifications through Static Analysis
|
---|---|
Autor/in / Beteiligte Person: | Li, Chi ; Zhou, Min ; Gu, Zuxing ; Gu, Ming ; Zhang, Hongyu |
Link: | |
Quelle: | 34th IEEE/ACM International Conference on Automated Software Engineering (ASE); (2019-11-01) S. 1174-1177 |
Veröffentlichung: | 2019 |
Medientyp: | Konferenz |
ISBN: | 978-1-7281-2508-4 (print) |
ISSN: | 2643-1572 (print) |
DOI: | 10.1109/ASE.2019.00130 |
Sonstiges: |
|