BertLisser/software-testing-2013
Software Testing UVA 2013 Group Christian König & Luka Hale
Developer Profile
BertLisser
Discovered public repositories for BertLisser in the GitHub catalog.
BertLisser/temp-bugzilla-bugs
Public repository.
BertLisser/OpenBug
Public repository.
BertLisser/dotplugin
Displaying Dot Files in svg format
BertLisser/smt
Rascal Spinoff Project: Satisfiability modulo Theory and Model Checking
BertLisser/ambidexter
AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combined with a fast and exhaustive sentence generator.
BertLisser/rascal-eclipse
Eclipse IMP based IDE for the Rascal meta-programming language (warning migration from svn in progress)
BertLisser/rascal
The core interpreter of the Rascal meta-programming language