Hans van der Laan - Automatic Learning of Java Models

author:Hans van der Laan
title:Automatic Learning of Java Models
keywords:
topics:Algorithms and Data Structures, Logics and semantics
committee:prof.dr.ir. A. Rensink (1st supervisor)
graduation date:7 July 2017

Research Project

Abstract

References

  1. LearnLib: A Framework for Automata Learning (Digital version available here)