• Media type: Doctoral Thesis; E-Book; Text; Electronic Thesis
  • Title: Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
  • Contributor: Omri, Fouad ben Nasr [Author]
  • imprint: KIT Scientific Publishing, Karlsruhe, 2018-01-01
  • Language: English
  • DOI: https://doi.org/10.5445/KSP/1000051517
  • ISBN: 978-3-7315-0472-6
  • ISSN: 1867-0067
  • Keywords: Statistical Testing ; Statistisches Testen ; Software Development ; Software-Entwicklung ; Zuverlässigkeit ; Software Reliability ; DATA processing & computer science
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access