Generating Unit Tests from Formal Proofs (Q5423869): Difference between revisions

@@ Property / describes a project that uses @@
+UniTESK
@@ Property / describes a project that uses: UniTESK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JUnit
@@ Property / describes a project that uses: JUnit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Symstra
@@ Property / describes a project that uses: Symstra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cogent
@@ Property / describes a project that uses: Cogent / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TestEra
@@ Property / describes a project that uses: TestEra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Korat
@@ Property / describes a project that uses: Korat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMPLIFY
@@ Property / describes a project that uses: SIMPLIFY / rank @@
+Normal rank
@@ 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.1007/978-3-540-73770-4_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1523035663
@@ Property / OpenAlex ID: W1523035663 / rank @@
+Normal rank