Search Results - Software/Program Verification—Statistical methods
-
1
Efficient Software Verification: Statistical Testing Using Automated Search
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.11.2010Published in IEEE transactions on software engineering (01.11.2010)“…Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing…”
Get full text
Journal Article -
2
Results of using geoinformation and statistical analysis methods to study spectral reflectance characteristics of agricultural crops of Belarus
ISSN: 2521-6740, 2617-3972Published: 22.12.2022Published in Zhurnal Belorusskogo gosudarstvennogo universiteta. Geografii͡a︡, geologii͡a (22.12.2022)“…) and analysed based on the methods of zonal statistics in the software complex ArcGIS (version 10.2) and mathematical and statistical analysis in the program Statistica…”
Get full text
Journal Article