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.

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Omri, Fouad ben Nasr (auth)
Formaat: Elektronisch Hoofdstuk
Taal:Engels
Gepubliceerd in: KIT Scientific Publishing 2018
Reeks:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Onderwerpen:
Online toegang:DOAB: download the publication
DOAB: description of the publication
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Exemplaargegevens van 3rd Floor Main Library
Plaatsingsnummer: A1234.567
Kopie 1 Beschikbaar