![](/img/cover-not-exists.png)
[IEEE 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) - Coimbra, Portugal (2020.10.12-2020.10.15)] 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) - SACC - A property driven approach to expose undesired behaviors among systemâs components
Madala, Kaushik, Hang, Ke Ye, Do, Hyunsook, Tenbergen, BastianYear:
2020
DOI:
10.1109/issre5003.2020.00043
File:
PDF, 317 KB
2020