Exhaustive property oriented model-based testing with symbolic finite state machines (Q6041277): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-92124-8_5
+Normal rank
@@ Property / OpenAlex ID @@
+W4205907374
@@ Property / OpenAlex ID: W4205907374 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Encodings of Bounded LTL Model Checking
@@ Property / cites work: Linear Encodings of Bounded LTL Model Checking / 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 @@
+Complete model-based equivalence class testing for nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Towards Property Oriented Testing
@@ Property / cites work: Towards Property Oriented Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin
+Normal rank
@@ Property / cites work @@
+Safety, liveness and fairness in temporal logic
@@ Property / cites work: Safety, liveness and fairness in temporal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6041277