Automation of broad sanity test generation (Q840076): Difference between revisions

@@ Property / describes a project that uses @@
+CUTE
@@ Property / describes a project that uses: CUTE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+jCUTE
@@ Property / describes a project that uses: jCUTE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UniTESK
@@ Property / describes a project that uses: UniTESK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rostra
@@ Property / describes a project that uses: Rostra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eclat
@@ Property / describes a project that uses: Eclat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AETG
@@ Property / describes a project that uses: AETG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL-TestGen
@@ Property / describes a project that uses: HOL-TestGen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JCrasher
@@ Property / describes a project that uses: JCrasher / 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 @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geno
@@ Property / describes a project that uses: Geno / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DART
@@ Property / describes a project that uses: DART / 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 / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3594048
@@ Property / cites work: Q3594048 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems and algorithms for covering arrays
@@ Property / cites work: Problems and algorithms for covering arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Controllable Combinatorial Coverage in Grammar-Based Testing
+Normal rank
@@ Property / cites work @@
+A sentence generator for testing parsers
@@ Property / cites work: A sentence generator for testing parsers / rank @@
+Normal rank
@@ Property / cites work @@
+Generation of positive and negative tests for parsers
+Normal rank
@@ Property / cites work @@
+Test generation for compilers and other formal text processors
+Normal rank
@@ Property / cites work @@
+Using abstract models for the generation of test data with a complex structure
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Combining test case generation and runtime verification
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768808060066
+Normal rank
@@ Property / OpenAlex ID @@
+W2046969592
@@ Property / OpenAlex ID: W2046969592 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:840076