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.

Podrobná bibliografie

Hlavní autor:	Omri, Fouad ben Nasr
Médium:	Online
Jazyk:	angličtina
Vydáno:	KIT Scientific Publishing 2021
Témata:	QA75.5-76.95 Software Development Software Reliability Zuverlässigkeit Statistisches Testen Software-Entwicklung Statistical Testing bic Book Industry Communication::U Computing & information technology::UY Computer science
On-line přístup:	34230
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!