التفاصيل البيبلوغرافية
| العنوان: |
SACC - A property driven approach to expose undesired behaviors among system’s components |
| المؤلفون: |
Madala, Kaushik, Hang, Ke Ye, Do, Hyunsook, Tenbergen, Bastian |
| المصدر: |
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) ISSRE Software Reliability Engineering (ISSRE), 2020 IEEE 31st International Symposium on. :380-390 Oct, 2020 |
| Relation: |
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder