Suchergebnisse - Software/Program Verification - statistical methods

Efficient Software Verification: Statistical Testing Using Automated Search von 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 …”
Volltext

HybridQC: A SNP-Based Quality Control Application for Rapid Hybridity Verification in Diploid Plants von 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 …”
Volltext

Roundtable: What's Next in Software Analytics von 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 …”
Volltext

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

“… Internal fit is an important aspect of indirect restorations, but methods for the 3-dimensional (3D …”
Volltext

Verification of a computer-aided replica technique for evaluating prosthesis adaptation using statistical agreement analysis von 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 …”
Weitere Angaben

A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing von 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 …”
Volltext

Spectrum-Based Multiple Fault Localization von 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), …”
Volltext

Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations von 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 …”
Volltext

Development of Statistical Software for the Korean Laboratory Accreditation Program Using R Language: LaboStats von 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 …”
Weitere Angaben

Assessing the robustness of dose distributions in carbon ion prostate radiotherapy using a fast dose evaluation system von 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 …”
Volltext

Stepwise derivation and verification of a universal elevator round trip time formula for general traffic conditions von 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 …”
Volltext

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

“… ). For the research method used, namely in the form of descriptive statistical analysis methods and verification …”
Volltext

A quality assurance phantom for electronic portal imaging devices von 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 …”
Volltext

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

“… Many factors are combining to promote theuse of quantitative and statistical methods bypracticing software engineers …”
Volltext

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

“… The dose profiles in molar teeth from diagnostic X rays was calculated using the Monte Carlo software program MCNP4c2 …”
Weitere Angaben

Isobio software: biological dose distribution and biological dose volume histogram from physical dose conversion using linear-quadratic-linear model von 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 …”
Volltext

Agile Testing with User Data in Cloud and Edge Computing Environments von 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 …”
Volltext

Downregulation of microRNA-27b-3p via aberrant DNA methylation contributes to malignant behavior of gastric cancer cells by targeting GSPT1 von 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 …”
Volltext

Methods of statistical dimensioning of the outdoor insulation with respect to polluted conditions von 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 …”
Volltext

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

“… The research method used was descriptive verification analysis with a census/saturated sampling technique …”
Volltext