Model-Based Testing for Functional and Security Test Generation (Q5253584): Difference between revisions

@@ Property / describes a project that uses @@
+JUMBL
@@ Property / describes a project that uses: JUMBL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STG
@@ Property / describes a project that uses: STG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SecureUML
@@ Property / describes a project that uses: SecureUML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TorX
@@ Property / describes a project that uses: TorX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMLsec
@@ Property / describes a project that uses: UMLsec / 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/978-3-319-10082-1_1
+Normal rank
@@ Property / OpenAlex ID @@
+W187351169
@@ Property / OpenAlex ID: W187351169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411074
@@ Property / cites work: Q4411074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411077
@@ Property / cites work: Q4411077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3515138
@@ Property / cites work: Q3515138 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472265
@@ Property / cites work: Q4472265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417966
@@ Property / cites work: Q4417966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411070
@@ Property / cites work: Q4411070 / rank @@
+Normal rank