Works matching DE "COMPUTER software testing"
Results: 1812
Six years later: testing vs. model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 633, doi. 10.1007/s10009-024-00769-8
- By:
- Publication type:
- Article
Fuzzing frameworks for server-side web applications: a survey: Fuzzing Frameworks for Server-side Web Applications: A Survey...: I. P. A. Dharmaadi et al.
- Published in:
- International Journal of Information Security, 2025, v. 24, n. 2, p. 1, doi. 10.1007/s10207-024-00979-w
- By:
- Publication type:
- Article
NHPP-Based Testing Coverage model with Fault Removal Efficiency and Error Generation.
- Published in:
- International Journal of Reliability, Quality & Safety Engineering, 2025, v. 32, n. 1, p. 1, doi. 10.1142/S0218539324500463
- By:
- Publication type:
- Article
بررسی میزان شیوع سیتومگالوویروس در کودکان مبتلا به بدخیمی جنوب غرب ایران از سال ۱۴۰۲-۱۳۹۵.
- Published in:
- Iranian South Medical Journal, 2024, v. 27, n. 3, p. 197
- By:
- Publication type:
- Article
Risk Identification and Assessment in the Digital Transformation of Aerospace Enterprises: A Combined Qualitative and Quantitative Approach.
- Published in:
- International Journal of Aviation, Aeronautics & Aerospace, 2024, v. 11, n. 4, p. 1, doi. 10.58940/2374-6793.1932
- By:
- Publication type:
- Article
The Most In-Demand Soft Skills for QA Professionals in Brazil.
- Published in:
- Journal of Software Engineering Research & Development, 2024, v. 12, n. 1, p. 299, doi. 10.5753/jserd.2024.4497
- By:
- Publication type:
- Article
Fast and accurate imputation of genotypes from noisy low-coverage sequencing data in bi-parental populations.
- Published in:
- PLoS ONE, 2025, v. 20, n. 1, p. 1, doi. 10.1371/journal.pone.0314759
- By:
- Publication type:
- Article
In Silico toxicity assessment of Euphorbia hirta.
- Published in:
- Journal of Pharmacy & Bioallied Sciences, 2024, v. 16, p. S4701, doi. 10.4103/jpbs.jpbs_1057_24
- By:
- Publication type:
- Article
Effect of hypertension on salivary flow rate and pH.
- Published in:
- International Dental Journal of Students' Research, 2024, v. 12, n. 4, p. 187, doi. 10.18231/j.idjsr.2024.037
- By:
- Publication type:
- Article
Design of a Controller Using Hedge Algebra to Control Position of Hydraulic Cylinders.
- Published in:
- Advances in Military Technology, 2024, v. 19, n. 2, p. 317, doi. 10.3849/aimt.01872
- By:
- Publication type:
- Article
An Efficient Autoscaling Cross-Browser Testing Cloud Platform based on Selenium Grid, Kubernetes and KEDA.
- Published in:
- Journal of Information Science & Engineering, 2023, v. 39, n. 5, p. 1061, doi. 10.6688/JISE.202309_39(5).0004
- By:
- Publication type:
- Article
Identification and Validation of Web Themes: A DOM-Structure Matching Approach.
- Published in:
- Journal of Information Science & Engineering, 2022, v. 38, n. 2, p. 375, doi. 10.6688/JISE.20220338(2).0006
- By:
- Publication type:
- Article
Evaluating the Influence on Fault Localization Caused by Test Suite Reduction in Continuous Integration Process.
- Published in:
- Journal of Information Science & Engineering, 2022, v. 38, n. 2, p. 357, doi. 10.6688/JISE.202203_38(2).0005
- By:
- Publication type:
- Article
A Novel Approach to Automate IoT Testing of Gateways and Devices.
- Published in:
- Journal of Information Science & Engineering, 2022, v. 38, n. 2, p. 317, doi. 10.6688/JISE.202203_38(2).0003
- By:
- Publication type:
- Article
A Buffered Genetic Algorithm for Automated Branch Coverage in Software Testing.
- Published in:
- Journal of Information Science & Engineering, 2019, v. 35, n. 2, p. 245, doi. 10.6688/JISE.201903_35(2).0001
- By:
- Publication type:
- Article
A System for Composing and Delivering Heterogeneous Web Testing Software as a Composite Web Testing Service.
- Published in:
- Journal of Information Science & Engineering, 2018, v. 34, n. 3, p. 631, doi. 10.6688/JISE.201805_34(3).0004
- By:
- Publication type:
- Article
On Adaptive Random Testing Through Iterative Partitioning.
- Published in:
- Journal of Information Science & Engineering, 2011, v. 27, n. 4, p. 1449
- By:
- Publication type:
- Article
Aus der DGI.
- Published in:
- Information -- Wissenschaft und Praxis, 2022, v. 73, n. 5/6, p. 298, doi. 10.1515/iwp-2022-2247
- Publication type:
- Article
Assessing the testing skills transfer of model-based testing on testing skill acquisition.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 953, doi. 10.1007/s10270-023-01141-1
- By:
- Publication type:
- Article
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 3, p. 941, doi. 10.1007/s10270-022-01043-8
- By:
- Publication type:
- Article
Report on the State of the SoSyM Journal end of 2022.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 1, p. 1, doi. 10.1007/s10270-023-01085-6
- By:
- Publication type:
- Article
Model-based test case generation and prioritization: a systematic literature review.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 2, p. 717, doi. 10.1007/s10270-021-00924-8
- By:
- Publication type:
- Article
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 1, p. 207, doi. 10.1007/s10270-021-00899-6
- By:
- Publication type:
- Article
Test model coverage analysis under uncertainty: extended version.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 2, p. 383, doi. 10.1007/s10270-020-00848-9
- By:
- Publication type:
- Article
Model-based testing of software for automation systems using heuristics and coverage criterion.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 797, doi. 10.1007/s10270-018-0690-5
- By:
- Publication type:
- Article
Statistical prioritization for software product line testing: an experience report.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 1, p. 153, doi. 10.1007/s10270-015-0479-8
- By:
- Publication type:
- Article
Synthesis of test scenarios using UML activity diagrams.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 1, p. 63, doi. 10.1007/s10270-009-0133-4
- By:
- Publication type:
- Article
Researches Regarding Modeling, Simulation, and Tensile Testing for Polymeric Composites Products.
- Published in:
- Macromolecular Symposia, 2022, v. 404, n. 1, p. 1, doi. 10.1002/masy.202100513
- By:
- Publication type:
- Article
Correction: A Cost-effective and Machine-learning-based method to identify and cluster redundant mutants in software mutation testing.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
A Cost-effective and Machine-learning-based method to identify and cluster redundant mutants in software mutation testing.
- Published in:
- Journal of Supercomputing, 2024, v. 80, n. 12, p. 16711, doi. 10.1007/s11227-024-06107-8
- By:
- Publication type:
- Article
Machine learning-based defect prediction model using multilayer perceptron algorithm for escalating the reliability of the software.
- Published in:
- Journal of Supercomputing, 2024, v. 80, n. 7, p. 10122, doi. 10.1007/s11227-023-05836-6
- By:
- Publication type:
- Article
Parallel program testing based on critical communication and branch transformation.
- Published in:
- Journal of Supercomputing, 2024, v. 80, n. 1, p. 519, doi. 10.1007/s11227-023-05460-4
- By:
- Publication type:
- Article
Reducing branch divergence to speed up parallel execution of unit testing on GPUs.
- Published in:
- Journal of Supercomputing, 2023, v. 79, n. 16, p. 18340, doi. 10.1007/s11227-023-05375-0
- By:
- Publication type:
- Article
On the value of parameter tuning in stacking ensemble model for software regression test effort estimation.
- Published in:
- Journal of Supercomputing, 2023, v. 79, n. 15, p. 17123, doi. 10.1007/s11227-023-05334-9
- By:
- Publication type:
- Article
Test case minimization and prioritization for regression testing using SBLA-based adaboost convolutional neural network.
- Published in:
- Journal of Supercomputing, 2022, v. 78, n. 16, p. 18379, doi. 10.1007/s11227-022-04540-1
- By:
- Publication type:
- Article
Soil mapping for precision agriculture using support vector machines combined with inverse distance weighting.
- Published in:
- Precision Agriculture, 2022, v. 23, n. 4, p. 1189, doi. 10.1007/s11119-022-09880-9
- By:
- Publication type:
- Article
An intelligent and cost-effective method for single-phase fault location in conventional distribution systems.
- Published in:
- Electrical Engineering, 2020, v. 102, n. 4, p. 1975, doi. 10.1007/s00202-020-01008-4
- By:
- Publication type:
- Article
Passive testing with asynchronous communications and timestamps.
- Published in:
- Distributed Computing, 2018, v. 31, n. 5, p. 327, doi. 10.1007/s00446-017-0308-0
- By:
- Publication type:
- Article
Euclid: Identification of asteroid streaks in simulated images using StreakDet software.
- Published in:
- Astronomy & Astrophysics / Astronomie et Astrophysique, 2020, v. 644, p. 1, doi. 10.1051/0004-6361/202037765
- By:
- Publication type:
- Article
Icarust, a real-time simulator for Oxford Nanopore adaptive sampling.
- Published in:
- Bioinformatics, 2024, v. 40, n. 4, p. 1, doi. 10.1093/bioinformatics/btae141
- By:
- Publication type:
- Article
Identify, quantify and characterize cellular communication from single-cell RNA sequencing data with scSeqComm.
- Published in:
- Bioinformatics, 2022, v. 38, n. 7, p. 1920, doi. 10.1093/bioinformatics/btac036
- By:
- Publication type:
- Article
Assessing the fit of the multi-species network coalescent to multi-locus data.
- Published in:
- Bioinformatics, 2021, v. 37, n. 5, p. 634, doi. 10.1093/bioinformatics/btaa863
- By:
- Publication type:
- Article
Minimally overlapping words for sequence similarity search.
- Published in:
- Bioinformatics, 2020, v. 36, n. 22/23, p. 5344, doi. 10.1093/bioinformatics/btaa1054
- By:
- Publication type:
- Article
cit: hypothesis testing software for mediation analysis in genomic applications.
- Published in:
- Bioinformatics, 2016, v. 32, n. 15, p. 2364, doi. 10.1093/bioinformatics/btw135
- By:
- Publication type:
- Article
A Hybrid Meta-Heuristic Approach for Test Case Prioritization and Optimization.
- Published in:
- Fusion: Practice & Applications, 2024, v. 14, n. 2, p. 261, doi. 10.54216/FPA.140221
- By:
- Publication type:
- Article
Test Design Optimisation of factors and levels by Covering double and triple mode Combinations using Orthogonal Array test strategies and Random Forest Algorithm.
- Published in:
- Fusion: Practice & Applications, 2023, v. 13, n. 1, p. 135, doi. 10.54216/FPA.130111
- By:
- Publication type:
- Article
Optimization of processes using simulation software elements.
- Published in:
- Acta Simulatio, 2022, v. 8, n. 2, p. 9, doi. 10.22306/asim.v6i1.57
- By:
- Publication type:
- Article
Modeling the Role of Testing Coverage in the Software Reliability Assessment.
- Published in:
- International Journal of Mathematical, Engineering & Management Sciences, 2023, v. 8, n. 3, p. 504, doi. 10.33889/IJMEMS.2023.8.3.028
- By:
- Publication type:
- Article
Software Test Case Generation Tools and Techniques: A Review.
- Published in:
- International Journal of Mathematical, Engineering & Management Sciences, 2023, v. 8, n. 2, p. 293, doi. 10.33889/IJMEMS.2023.8.2.018
- By:
- Publication type:
- Article
基于典型断面有限元模型的水库加固 工程塑性混凝土防渗墙性能研究.
- Published in:
- Water Conservancy Science & Techonlogy & Economy, 2023, v. 29, n. 9, p. 96, doi. 10.3969/j.issn.1006-7175.2023.09.020
- By:
- Publication type:
- Article