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

Von:

Omri, Fouad ben Nasr [VerfasserIn]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf ReussnerVerlag: [Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2018Beschreibung: 1 Online-Ressource (XIII, 162 p.)ISBN:

9783731504726

Online-Ressourcen:

Volltext frei verfügbar

Zusammenfassung: 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 assessmentPPN: PPN: 1778519148Package identifier: Produktsigel: ZDB-94-OAB

Exemplare ( 0 )
Titelinformationen ( 3 )

Dieser Titel hat keine Exemplare

Open Access. Unrestricted online access star

Creative Commons https://creativecommons.org/licenses/by-sa/4.0 cc

English