Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Ein praxisnahes Werk, das statistische Tests mit aktiven Lernverfahren verknüpft und formale Verifikation einsetzt, um Softwarezuverlässigkeit präz ...