Input Attribution for Statistical Model Checking Using Logistic Regression.

Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle

Browse the full RV paper archive.