Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Fouad ben Nasr Omri
Karlsruher Institut für Technologie
2018
nidottu