Generating tests from B specifications and dynamic selection criteria (Q539227): 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.1007/s00165-009-0132-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1993113417
@@ Property / OpenAlex ID: W1993113417 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A mini challenge: build a verifiable filesystem
@@ Property / cites work: A mini challenge: build a verifiable filesystem / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Generating Tests from B Specifications and Test Purposes
+Normal rank