Introducing complexity to formal testing (Q2291824): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2019.100502
@@ Property / DOI: 10.1016/j.jlamp.2019.100502 / rank @@
-Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal {HOTL}\): Hypotheses and observations testing logic
+Normal rank
@@ Property / cites work @@
+Symbolic Execution Techniques for Test Purpose Definition
+Normal rank
@@ Property / cites work @@
+Testing timed automata
@@ Property / cites work: Testing timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Test Case Minimization for Real-Time Systems Using Timed Bound Traces
+Normal rank
@@ Property / cites work @@
+Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
+Normal rank
@@ Property / cites work @@
+Q4449196
@@ Property / cites work: Q4449196 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, testing and implementation relations for symbolic-probabilistic systems
+Normal rank
@@ Property / cites work @@
+Q3046739
@@ Property / cites work: Q3046739 / rank @@
+Normal rank
@@ Property / cites work @@
+The relation between preset distinguishing sequences and synchronizing sequences
+Normal rank
@@ Property / cites work @@
+Testing can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+A Recursion Theoretic Approach to Program Testing
@@ Property / cites work: A Recursion Theoretic Approach to Program Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A General Testability Theory
@@ Property / cites work: A General Testability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
+Normal rank
@@ Property / cites work @@
+Checking Completeness of Tests for Finite State Machines
+Normal rank
@@ Property / cites work @@
+The complexity of asynchronous model based testing
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2019.100502
@@ Property / DOI: 10.1016/J.JLAMP.2019.100502 / rank @@
+Normal rank