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

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q32
@@ Property / Mathematics Subject Classification ID: 68Q32 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6377371
@@ Property / zbMATH DE Number: 6377371 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+active automata learning
@@ Property / zbMATH Keywords: active automata learning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alphabet abstraction refinement
@@ Property / zbMATH Keywords: alphabet abstraction refinement / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+register automata
@@ Property / zbMATH Keywords: register automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal methods
@@ Property / zbMATH Keywords: formal methods / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software engineering
@@ Property / zbMATH Keywords: software engineering / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Daikon
@@ Property / describes a project that uses: Daikon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sigma*
@@ Property / describes a project that uses: Sigma* / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:479461