Cargando…
Accelerating covering array generation by combinatorial join for industry scale software testing
Combinatorial interaction testing, which is a technique to verify a system with numerous input parameters, employs a mathematical object called a covering array as a test input. This technique generates a limited number of test cases while guaranteeing a given combinatorial coverage. Although this a...
Autores principales: | Ukai, Hiroshi, Qu, Xiao, Washizaki, Hironori, Fukazawa, Yoshiaki |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
PeerJ Inc.
2022
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9044240/ https://www.ncbi.nlm.nih.gov/pubmed/35494846 http://dx.doi.org/10.7717/peerj-cs.720 |
Ejemplares similares
-
Formal verification of Matrix based MATLAB models using interactive theorem proving
por: Gauhar, Ayesha, et al.
Publicado: (2021) -
starMC: an automata based CTL* model checker
por: Amparore, Elvio Gilberto, et al.
Publicado: (2022) -
Student placement and skill ranking predictors for programming classes using class attitude, psychological scales, and code metrics
por: Ishizue, Ryosuke, et al.
Publicado: (2018) -
PVC.js: visualizing C programs on web browsers for novices
por: Ishizue, Ryosuke, et al.
Publicado: (2020) -
On testing structural identifiability by a simple scaling method: Relying on scaling symmetries can be misleading
por: Villaverde, Alejandro F., et al.
Publicado: (2021)