Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991): Difference between revisions

@@ 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.ic.2023.105009
+Normal rank
@@ Property / OpenAlex ID @@
+W4318035568
@@ Property / OpenAlex ID: W4318035568 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089269
@@ Property / cites work: Q5089269 / rank @@
+Normal rank
@@ Property / cites work @@
+Inputs and Outputs in CSP
@@ Property / cites work: Inputs and Outputs in CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Testing finite-state machines: state identification and verification
+Normal rank
@@ Property / cites work @@
+On minimizing the lengths of checking sequences
@@ Property / cites work: On minimizing the lengths of checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+A modal characterization of observational congruence on finite terms of CCS
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for fixed-point semantics: a general framework
+Normal rank
@@ Property / cites work @@
+Q5146592
@@ Property / cites work: Q5146592 / rank @@
+Normal rank
@@ Property / cites work @@
+When are prime formulae characteristic?
@@ Property / cites work: When are prime formulae characteristic? / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental approaches to software engineering. 16th international conference, FASE 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+Interval stability and interval covering property in finite posets
+Normal rank