Recognizing malicious software behaviors with tree automata inference (Q2441717): Difference between revisions

@@ Property / describes a project that uses @@
+DTA++
@@ Property / describes a project that uses: DTA++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / 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/s10703-012-0149-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1992904312
@@ Property / OpenAlex ID: W1992904312 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / 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 @@
+Locally testable languages
@@ Property / cites work: Locally testable languages / rank @@
+Normal rank