An SMT-based concolic testing tool for logic programs (Q2039953): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3020673255
@@ Property / OpenAlex ID: W3020673255 / rank @@
+Normal rank
@@ Property / cites work @@
+Concolic testing in logic programming
@@ Property / cites work: Concolic testing in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of selective unification in concolic testing of logic programs
+Normal rank
@@ Property / cites work @@
+Selective Unification in (Constraint) Logic Programming*
+Normal rank
@@ Property / cites work @@
+Concolic Testing in CLP
@@ Property / cites work: Concolic Testing in CLP / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
+Normal rank
@@ Property / cites work @@
+Concolic Execution and Test Case Generation in Prolog
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Fast unfolding of communities in large networks
@@ Property / cites work: Fast unfolding of communities in large networks / rank @@
+Normal rank