Robustness testing for software components (Q988173): Difference between revisions

@@ Property / author @@
+Zhi-Ming Liu
@@ Property / author: Zhi-Ming Liu / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+rCOS
@@ Property / describes a project that uses: rCOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JCrasher
@@ Property / describes a project that uses: JCrasher / 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.1016/j.scico.2010.02.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1973153065
@@ Property / OpenAlex ID: W1973153065 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model of Component-Based Programming
@@ Property / cites work: A Model of Component-Based Programming / rank @@
+Normal rank
@@ Property / cites work @@
+rCOS: a refinement calculus of object systems
@@ Property / cites work: rCOS: a refinement calculus of object systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank