@inproceedings{MIUGM-2013,
    author="Malchiodi, Dario",
    title="MUT: un framework di test automatico per Wolfram Mathematica",
    
    booktitle="Mathematica Italia User Group Meeting 2013 - Atti del Convegno",
    publisher="Adalta",year=2013},