scientific article; zbMATH DE number 3502759

zbMath0321.68011MaRDI QIDQ4082984

No author found.

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Combining test case generation and runtime verification, Model Driven Testing Based on Test History, Lindenmayer grammars and symbolic testing, Estimating the correctness of computer programs, Complexity of node coverage games