Test Suite Reduction in Idempotence Testing of Infrastructure as Code. - Katsuhiko Ikeshita; Fuyuki Ishikawa; Shinichi Honiden (TAP@STAF, 2017)