research
∙
09/08/2023
Locating Buggy Segments in Quantum Program Debugging
When a bug is detected by testing a quantum program on a quantum compute...
share
research
∙
05/21/2020
Unsupposable Test-data Generation for Machine-learned Software
As for software development by machine learning, a trained model is eval...
research
∙
04/26/2019
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges
As one type of machine-learning model, a "decision-tree ensemble model" ...
research
∙
11/09/2018