Name: Application domain/field: Type of tool (e.g. model checker, test generator): Expected input thing: Expected input format: Expected output: Internals (tools used, frameworks, techniques, paradigms, ...): Comments: URIs (github, websites, etc.): Last commit date: Last publication date: List of related papers: Related tools (tools mentioned or compared to in the paper): Meta