On the order of test goals in specification-based testing (Q2270689): Difference between revisions

@@ Property / cites work @@
+Introduction to Software Testing
@@ Property / cites work: Introduction to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+A Greedy Heuristic for the Set-Covering Problem
@@ Property / cites work: A Greedy Heuristic for the Set-Covering Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q4530808
@@ Property / cites work: Q4530808 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Model Checking to Generate Fault Detecting Tests
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolants and Symbolic Model Checking
@@ Property / cites work: Interpolants and Symbolic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank