Learning register automata: from languages to program structures (Q479461): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10994-013-5419-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2046160374
@@ Property / OpenAlex ID: W2046160374 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Learning through Counterexample Guided Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+A Theory of History Dependent Abstractions for Learning Interface Automata
+Normal rank
@@ Property / cites work @@
+Learning I/O Automata
@@ Property / cites work: Learning I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Mining specifications
@@ Property / cites work: Mining specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Sigma*
@@ Property / cites work: Sigma* / rank @@
+Normal rank
@@ Property / cites work @@
+A Succinct Canonical Register Automaton Model
@@ Property / cites work: A Succinct Canonical Register Automaton Model / rank @@
+Normal rank
@@ Property / cites work @@
+A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Refining Interface Alphabets for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Learning of event-recording automata
@@ Property / cites work: Learning of event-recording automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472253
@@ Property / cites work: Q4472253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738314
@@ Property / cites work: Q4738314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404129
@@ Property / cites work: Q3404129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Canonical Register Automata
@@ Property / cites work: Inferring Canonical Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata Learning with Automated Alphabet Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+On the learnability of infinitary regular sets
@@ Property / cites work: On the learnability of infinitary regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942015
@@ Property / cites work: Q4942015 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank