(Translated by https://www.hiragana.jp/)
[1905.11198] Towards Automated Boundary Value Testing with Program Derivatives and Search