The following pages link to Software is different (Q1859545):
Displaying 14 items.
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Why software writing is difficult and will remain so (Q1028972) (← links)
- Timing-sequence testing of parallel programs (Q1966509) (← links)
- Automated test data generation for branch testing using incremental genetic algorithm (Q2359903) (← links)
- Generation of positive and negative tests for parsers (Q2498284) (← links)
- Automated Generation of Positive and Negative Tests for Parsers (Q3434611) (← links)
- A mathematical modeling framework for software reliability testing† (Q3442629) (← links)
- AN INVESTIGATION OF MERGING AND COLLAPSING OF SOFTWARE NETWORKS (Q3498229) (← links)
- Generation of mutants for boolean expression (Q3637789) (← links)
- Engineering characteristics of autonomous agent architectures (Q4779493) (← links)
- Model-Based Testing (Q5175779) (← links)
- COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS (Q5692578) (← links)
- COMPACT REPRESENTATIONS OF SEARCH IN COMPLEX DOMAINS (Q5694440) (← links)
