Learning DFA from Simple Examples
Machine Learning
Identification of Function Distinguishable Languages
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Identification of function distinguishable languages
Theoretical Computer Science
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Inferring state-based behavior models
Proceedings of the 2006 international workshop on Dynamic systems analysis
Active Coevolutionary Learning of Deterministic Finite Automata
The Journal of Machine Learning Research
Improving dynamic software analysis by applying grammar inference principles
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Grammar-based classifier system: a universal tool for grammatical inference
WSEAS Transactions on Computers
Algorithms for learning regular expressions from positive data
Information and Computation
Regular expression learning for information extraction
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Regular Model Checking Using Inference of Regular Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
AND '10 Proceedings of the fourth workshop on Analytics for noisy unstructured text data
CGE: a sequential learning algorithm for mealy automata
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Incremental learning-based testing for reactive systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Learning finite cover automata from queries
Journal of Computer and System Sciences
Regular inference for state machines with parameters
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
An incremental learning algorithm for extended mealy automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |