Thread-parallel integrated test pattern generator utilizing satisfiability analysis (Q987743): Difference between revisions

@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
+Normal rank
@@ Property / cites work @@
+Q4261335
@@ Property / cites work: Q4261335 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of Automata Failures: A Calculus and a Method
+Normal rank
@@ Property / cites work @@
+Q3639754
@@ Property / cites work: Q3639754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223603
@@ Property / cites work: Q4223603 / rank @@
+Normal rank