Software is different

DOI10.1023/A:1018999919169zbMath1012.68569MaRDI QIDQ1859545

Boris Beizer

Publication date: 19 February 2003

Published in: Annals of Software Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in the theory of software (68N01)

Related Items (13)

Automated test data generation for branch testing using incremental genetic algorithm ⋮ A mathematical modeling framework for software reliability testing† ⋮ AN INVESTIGATION OF MERGING AND COLLAPSING OF SOFTWARE NETWORKS ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ Timing-sequence testing of parallel programs ⋮ COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS ⋮ COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS ⋮ Model-Based Testing ⋮ Generation of positive and negative tests for parsers ⋮ Generation of mutants for boolean expression ⋮ Automated Generation of Positive and Negative Tests for Parsers ⋮ Verifying time partitioning in the DEOS scheduling kernel ⋮ Engineering characteristics of autonomous agent architectures

This page was built for publication: Software is different