Input-output conformance testing for software product lines (Q338614): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2016.09.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2524267826
@@ Property / OpenAlex ID: W2524267826 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Incremental Model-Based Testing of Delta-Oriented Software Product Lines
+Normal rank
@@ Property / cites work @@
+Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/BeoharM16
@@ Property / DBLP publication ID: journals/jlp/BeoharM16 / rank @@
+Normal rank