Výsledky vyhledávání - software/program verification - (statistical OR statistics) methods

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ískat plný text

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ískat plný text

Static Specification Mining Using Automata-Based Abstractions Autor Shoham, S., Yahav, E., Fink, S.J., Pistoia, M.

“…We present a novel approach to client-side mining of temporal API specifications based on static analysis. Specifically, we present an interprocedural analysis…”
Získat 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ískat 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ískat 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…”
Zjistit podrobnosti o přístupu

Evaluation of Nintendo Wii Balance Board as a Tool for Measuring Postural Stability After Sport-Related Concussion Autor Merchant-Borna, Kian, Jones, Courtney Marie Cora, Janigro, Mattia, Wasserman, Erin B., Clark, Ross A., Bazarian, Jeffrey J.

“… A new, freely available software program to accompany the Nintendo Wii Balance Board (WBB) system has recently been developed but has not been tested in concussed patients…”
Získat plný text

Simulation modeling and analysis with Arena Autor Altiok, Tayfur, Melamed, Benjamin

“…A concise introduction to the principles of simulation modeling, with applications using the versatile ARENA simulation software program…”
Získat plný text

Molecular fragments associated with non-genotoxic carcinogens, as detected using a software program based on graph theory: their usefulness to predict carcinogenicity Autor Malacarne, Davide, Taningher, Maurizio, Pesenti, Raffaele, Paolucci, Massimo, Perrotta, Alessandra, Parodi, Silvio

“…). Using our software program based on graph theory we analyzed the compounds in order to estimate the program's ability to predict nonalerting carcinogens…”
Získat 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ískat plný text

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ískat plný text

Verification of reference ranges by using a Monte Carlo sampling technique Autor Holmes, E W, Kahn, S E, Molnar, P A, Bermes, Jr, E W

“… Here we present an introduction to the Monte Carlo technique, outline a procedure for performing these tests using a commercially available software program, and demonstrate some of the…”
Zjistit podrobnosti o přístupu

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ískat plný text

Survey of software fault static prediction methods Autor Luo, Yunfeng, Ben, Kerong

“…By predicting software faults with metrics information, the testing and verification resources are allocated effectively…”
Získat plný text

An efficient hardware-oriented dropout algorithm Autor Takashi Morie, Yoeng Jye Yeoh, Hakaru Tamukoh

Získat 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ískat 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…”
Zjistit podrobnosti o přístupu

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ískat 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ískat plný text

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ískat plný text