scientific article
From MaRDI portal
Publication:3619794
zbMath1169.68008MaRDI QIDQ3619794
Publication date: 9 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite modelsdebuggingsoftware engineeringmodel-based testingmodel-based verificationcombinatorial testingstructural testingfault-based testingfunctional testingsoftware development processdata-flow-based testingobject-oriented testing
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software