Davide G. Cavezza, Roberto Pietrantuono, Javier Alonso, Stefano Russo, Kishor S. Trivedi: Reproducibility of Environment-Dependent Software Failures: An Experience Report. ISSRE 2014: 267-276