Výsledky vyhľadávania - Software/Program Verification - statistical methods

Efficient Software Verification: Statistical Testing Using Automated Search Autor Poulding, Simon, Clark, John A

“…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…”
Získať plný text

HybridQC: A SNP-Based Quality Control Application for Rapid Hybridity Verification in Diploid Plants Autor Ongom, Patrick Obia, Ajibade, Yakub Adebare, Mohammed, Saba Baba, Dieng, Ibnou, Fatokun, Christian, Boukar, Ousmane

“…) in breeding programs. Here, we introduce HybridQC v1.0, a QA/QC software program specially designed for parental purity and hybridity determination…”
Získať plný text

Roundtable: What's Next in Software Analytics Autor Hassan, A. E., Hindle, A., Runeson, P., Shepperd, M., Devanbu, P., Sunghun Kim

“…). There are now opportunities for "natural" software analytics based on statistical natural language processing (Prem Devanbu…”
Získať plný text

Verification of a digital approach for three-dimensional evaluation of marginal and internal fit Autor Loetzerich, Jan Markus, Raith, Stefan, Reich, Sven

“…Internal fit is an important aspect of indirect restorations, but methods for the 3-dimensional (3D…”
Získať plný text

Verification of a computer-aided replica technique for evaluating prosthesis adaptation using statistical agreement analysis Autor Mai, Hang-Nga, Lee, Kyeong Eun, Lee, Kyu-Bok, Jeong, Seung-Mi, Lee, Seok-Jae, Lee, Cheong-Hee, An, Seo-Young, Lee, Du-Hyeong

“… In the CART group, the gap was digitized using optical scanning and image superimposition, and the gaps were measured using a software program…”
Zistit podrobnosti o prístupe

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing Autor Poulding, S., Clark, J. A., Waeselynck, H.

“…Statistical testing generates test inputs by sampling from a probability distribution that is carefully chosen so that the inputs exercise all parts of the software being tested…”
Získať plný text

Spectrum-Based Multiple Fault Localization Autor Abreu, Rui, Zoeteweij, Peter, van Gemund, Arjan J.C.

“…Fault diagnosis approaches can generally be categorized into spectrum-based fault localization (SFL, correlating failures with abstractions of program traces),…”
Získať plný text

Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations Autor Applis, Leonhard, Panichella, Annibale, van Deursen, Arie

“… Hence, these approaches cannot be applied to ML targeting program analysis tasks. In this paper, we extend metamorphic testing approaches for ML models targeting software programs…”
Získať plný text

Development of Statistical Software for the Korean Laboratory Accreditation Program Using R Language: LaboStats Autor Kim, Yeongsic, Park, Hae Il, Lee, Hae Kyung, Nam, Hyun Su, Lee, Yong Wha, Lee, Sang Guk, Park, Younhee, Lee, Woochang, Nam, Myung Hyun, Song, Sang Hoon, Chung, Jae Woo, Lee, Jehoon

“… This verification process is time-consuming and labor-intensive when performed manually. We developed a free, statistical software program for KLAP, using the R language…”
Zistit podrobnosti o prístupe

Assessing the robustness of dose distributions in carbon ion prostate radiotherapy using a fast dose evaluation system Autor Tsubouchi, Toshiro, Shiomi, Hiroya, Suzuki, Osamu, Hamatani, Noriaki, Takashina, Masaaki, Yagi, Masashi, Wakisaka, Yushi, Ogawa, Atsuhiro, Terasawa, Ayumi, Akino, Yuichi, Ogawa, Kazuhiko, Kanai, Tatsuaki

“…Purpose We developed a software program for swiftly calculating dose distributions for carbon ion beams…”
Získať plný text

Stepwise derivation and verification of a universal elevator round trip time formula for general traffic conditions Autor Al-Sharif, Lutfi, Abu Alqumsan, Ahmad M

“…The evaluation of the round trip time (τ) still forms the basis for the design of elevator traffic systems. The elevator round trip time is the time taken for…”
Získať plný text

The Effects Of Work Discipline On High Employee Performance Autor Santoso, Anton Budi, Oktafien, Shinta

“…). For the research method used, namely in the form of descriptive statistical analysis methods and verification…”
Získať plný text

A quality assurance phantom for electronic portal imaging devices Autor Das, Indra J., Cao, Minsong, Cheng, Chee‐Wai, Misic, Vladimir, Scheuring, Klaus, Schüle, Edmund, Johnstone, Peter A.S.

“…Electronic portal imaging device (EPID) plays an important role in radiation therapy portal imaging, geometric and dosimetric verification…”
Získať plný text

Statistical Techniques for Software Engineering Practice Autor Card, David N.

“…Many factors are combining to promote theuse of quantitative and statistical methods bypracticing software engineers…”
Získať plný text

Diagnostic X ray dose profiles in molar teeth using Monte Carlo simulation Autor Hayes, R

“…The dose profiles in molar teeth from diagnostic X rays was calculated using the Monte Carlo software program MCNP4c2…”
Zistit podrobnosti o prístupe

Isobio software: biological dose distribution and biological dose volume histogram from physical dose conversion using linear-quadratic-linear model Autor Jaikuna, Tanwiwat, Khadsiri, Phatchareewan, Chawapun, Nisa, Saekho, Suwit, Tharavichitkul, Ekkasit

“…To develop an in-house software program that is able to calculate and generate the biological dose distribution and biological dose volume histogram by physical dose conversion using the linear-quadratic-linear (LQL) model…”
Získať plný text

Agile Testing with User Data in Cloud and Edge Computing Environments Autor Kenett, Ron S., Harel, Avi, Ruggeri, Fabrizio

“… It also presents a method for assuring seamless testing of agile application updates, required in cloud and edge computing and in modern software as service (SaaS) architectures…”
Získať plný text

Downregulation of microRNA-27b-3p via aberrant DNA methylation contributes to malignant behavior of gastric cancer cells by targeting GSPT1 Autor Zhang, Cheng, Zou, Ying, Dai, Dong-Qiu

“…•MiR-27b-3p was downregulated in gastric cancer tissues and cells.•MiR-27b-3p can suppress gastric cancer cell proliferation, invasion, and…”
Získať plný text

Methods of statistical dimensioning of the outdoor insulation with respect to polluted conditions Autor Solomonik, E.A., Tikhodeev, N.N., Vladimirsky, L.L., Gutman, I.

“… The theoretical basis of the statistical method is presented together with its verification by service experience…”
Získať plný text

The Role of Performance-Based Allowances, Work Motivation, and Work Discipline on Employee Performance Autor Mahmudah, Nji Raden Laila, Pratminingsih, Sri Astuti

“… The research method used was descriptive verification analysis with a census/saturated sampling technique…”
Získať plný text