Improving Model Inference via W-Set Reduction
Autor: | Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simao |
---|---|
Rok vydání: | 2022 |
Zdroj: | Testing Software and Systems ISBN: 9783031046728 |
DOI: | 10.1007/978-3-031-04673-5_7 |
Databáze: | OpenAIRE |
Externí odkaz: |