Learn Symbolic Finite Automata from Java Parsers using Concolic Execution and Active Learning
Primary LanguageJavaEclipse Public License 2.0EPL-2.0