"Inferring Executable Models from Formalized Experimental Evidence."

Vivek Nigam et al. (2015)
maintained by Schloss Dagstuhl LZI, founded at University of Trier