\(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152): Difference between revisions

@@ 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.1016/j.jlap.2007.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2024026870
@@ Property / OpenAlex ID: W2024026870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4437078
@@ Property / cites work: Q4437078 / rank @@
+Normal rank
@@ Property / cites work @@
+A passive testing approach based on invariants: application to the WAP
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
+Normal rank
@@ Property / cites work @@
+Q4422061
@@ Property / cites work: Q4422061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank