Testing esaustivo di un interprete Prolog su piattaforma Java

@mastersthesis{tuprologhugetesting,
    author = {Fabrizio Sabbioni},
    available = {2011-01-11},
    contact = {Denti, Enrico},
    cosupervisor = {Omicini, Andrea},
    cycle = {L},
    description = {tuProlog \`{e} un interprete Prolog scritto in Java. Obiettivo di questa tesi \`{e} eseguire su esso un'ampia suite di test, alcuni dei quali attualmente falliscono, andando a ricercare e documentare adeguatamente il motivo di dettaglio di tali fallimenti in modo da porre le basi per la loro correzione, con l'obiettivo finale di un "100% success" sul sottoinsieme di test ritenuto pi\`{u} rilevante e adeguata roadmap per la risoluzione della restante parte.},
    language = {it},
    month = dec,
    start = {2011-05-17},
    supervisor = {Denti, Enrico},
    title = {Testing esaustivo di un interprete Prolog su piattaforma Java},
    type = {Bachelor's thesis},
    year = 2011
}