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

@@ 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