Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Omri, Fouad ben Nasr (auth)
التنسيق: فصل الكتاب
منشور في: KIT Scientific Publishing 2018
الموضوعات:
Software Development
Software Reliability
Zuverlässigkeit
Statistisches Testen
Software-Entwicklung
Statistical Testing
الوصول للمادة أونلاين:Get Fullteks
DOAB: description of the publication
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الانترنت

Get Fullteks
DOAB: description of the publication

3rd Floor Main Library

تفاصيل المقتنيات من 3rd Floor Main Library
رقم الطلب: A1234.567
النسخة 1 متاح

مواد مشابهة