Software is different
From MaRDI portal
Recommendations
Cited in
(15)- Engineering characteristics of autonomous agent architectures
- A mathematical modeling framework for software reliability testing†
- scientific article; zbMATH DE number 1946733 (Why is no real title available?)
- Generation of mutants for boolean expression
- Model-based testing
- Automated test data generation for branch testing using incremental genetic algorithm
- COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Generation of positive and negative tests for parsers
- Timing-sequence testing of parallel programs
- Why software writing is difficult and will remain so
- Automated Generation of Positive and Negative Tests for Parsers
- AN INVESTIGATION OF MERGING AND COLLAPSING OF SOFTWARE NETWORKS
- COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS
- Verifying time partitioning in the DEOS scheduling kernel
This page was built for publication: Software is different
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1859545)