scientific article
From MaRDI portal
Publication:4023884
zbMath0782.68002MaRDI QIDQ4023884
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)
Related Items (8)
Validation method for intelligent systems ⋮ A test environment using symbolic program trace ⋮ Strategies for scalable symbolic execution-driven test generation for programs ⋮ A formal semantics for program debugging ⋮ Relationship of program correctness checking methods ⋮ Model-Based Testing ⋮ A novel analysis space for pointer analysis and its application for bug finding ⋮ Generation of mutants for boolean expression
This page was built for publication:
