Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 8.104

1

Program Correctness through Self-Certification.
Namjoshi, Kedar S. ; Zuck, Lenore D.
Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.

COMPUTER programming COMPUTERS COMPUTER systems SCALABILITY SYSTEMS design COMPUTER software
Zeitschrift
2

Test Accounts: A Hidden Risk.
Vachon, Phil
Communications of the ACM. Jan2025, Vol. 68 Issue 1, p46-49. 4p.

ACCESS control BEST practices DATA security failures COMPUTER software testin...
Zeitschrift
3

Language-Based Software Testing.
Steinhöfel, Dominic ; Zeller, Andreas
Communications of the ACM. Apr2024, Vol. 67 Issue 4, p80-84. 5p.

AUTOMATION LANGUAGE & languages COMPUTER software testin... SYNTAX (Grammar) SEMANTICS
Zeitschrift
4

Improving Testing of Deep-Learning Systems.
Deokuliar, Harsh ; Sangwan, Raghvinder S. ; Badr, Yoaukim ; et al.
Communications of the ACM. Mar2024, Vol. 67 Issue 3, p44-48. 5p.

ARTIFICIAL neural networ... DEEP learning COMPUTER software testin... DATA quality MUTATION testing of comp... ITERATIVE methods (Mathe...
Zeitschrift
5

A Fuzzy Fermatean TOPSIS Approach for Ranking Parameters in Software Testing.
Kushwaha, Shivani
International Journal of Reliability, Quality & Safety Engineering. Jan2026, p1. 23p.

SOFTWARE reliability MANAGEMENT science MULTIPLE criteria decisi... COMPUTER software testin... TEST reliability PARAMETERIZATION
Fachzeitschrift
6

Covariate Software Defect Discovery Models to Explicitly Characterize Changepoints.
Steakelum, Joshua ; Nagaraju, Vidhyashree ; Shi, Ying ; et al.
International Journal of Reliability, Quality & Safety Engineering. Dec2025, p1. 30p.

DEFECT tracking (Compute... SOFTWARE reliability COMPUTER software qualit... MATHEMATICAL optimizatio... COMPUTER software testin... CHANGE-point problems
Fachzeitschrift
7

MarketLine Company Profile: Cigniti Technologies Limited.
Cigniti Technologies Limited MarketLine Company Profile. 1/23/2025, p1-17. 17p.

COMPUTER software develo... COMPUTER software testin... HYDERABAD (India) CIGNITI Technologies Ltd...
8

Combinatorial Test Sequence Generation Method Integrated with STPA.
Xu, Heng ; Huang, Zhiqiu ; Tao, Chuanqi ; et al.
International Journal of Software Engineering & Knowledge Engineering. Mar2026, Vol. 36 Issue 3, p403-429. 27p.

COMPUTER software SYSTEMS theory SAFETY COMPUTER software testin... DYNAMIC testing
Fachzeitschrift
9

Für die industrielle Automatisierung.
Elektronik Industrie. 12/3/2025, Issue 12, p44-46. 3p.

SAFETY standards QUALITY assurance INDUSTRIAL robots COMPUTER software testin... SYSTEM safety
Fachzeitschrift
10

HuntFUZZ: Enhancing error handling testing through clustering based fuzzing.
Wei, Jin ; Chen, Ping ; Dai, Jun ; et al.
Journal of Computer Security. Sep2025, Vol. 33 Issue 5, p334-359. 26p.

DEFECT tracking (Compute... COMPUTER software testin... DYNAMIC testing CLUSTERING algorithms CONSTRAINT programming
Fachzeitschrift
11

An Iterative Group-Based MOPSO with Isomap-Guided Leaders and DQN-Adaptive Parameters for Automated Path Coverage Test Case Generation.
Fang, Yuchen ; He, Zhitao
International Journal of Software Engineering & Knowledge Engineering. Oct2025, Vol. 35 Issue 10, p1399-1434. 36p.

COMPUTER software testin... PARTICLE swarm optimizat... MACHINE learning DIMENSIONAL reduction al... OPTIMIZATION algorithms REINFORCEMENT learning
Fachzeitschrift
12

Fuzzing of Polymorphic Systems within Microsevice Structures.
Yurev, A. S.
Programming & Computer Software. Dec2025, Vol. 51 Issue 7, p510-520. 11p.

INFORMATION technology s... COMPUTER software testin... SERVICE-oriented archite... COMPUTER performance RESEARCH protocols
Fachzeitschrift
13

SQUMUTH squirrel search based algorithm for high order mutant generation in mutation testing.
Mohanty, Subhasish ; Mishra, Jyotirmaya ; Mohapatra, Sudhir Kumar ; et al.
Information Retrieval Journal. Dec2025, Vol. 28 Issue 1, p1-17. 17p.

COMPUTER software testin... MUTATIONS (Algebra) MATHEMATICAL optimizatio... FORAGING behavior HEURISTIC
Fachzeitschrift
14

A Metaheuristic and Neural Network-Based Framework for Automated Software Test Oracles Under Limited Test Data Conditions.
Arasteh, Bahman ; Bulut, Faruk ; Ince, Ibrahim Furkan ; et al.
Journal of Electronic Testing. Dec2025, Vol. 41 Issue 5/6, p651-671. 21p.

COMPUTER software testin... MACHINE learning METAHEURISTIC algorithms QUALITY assurance STATISTICAL accuracy ARTIFICIAL neural networ...
Fachzeitschrift
15

The acceptance, use, and perceptions of metamorphic testing for a sample of open-source software developers.
Hoard, Brittany R.
Cogent Engineering. Dec2025, Vol. 12 Issue 1, p1-25. 25p.

COMPUTER software testin... TECHNOLOGY Acceptance Mo... INNOVATION adoption QUANTITATIVE research DYNAMIC testing OPEN source software
Fachzeitschrift
16

Mutation testing for temporal alloy models (extended version).
Jovanovic, Ana ; Sullivan, Allison
Software & Systems Modeling. Dec2025, Vol. 24 Issue 6, p1847-1868. 22p.

COMPUTER software testin... MODEL validation CONSTRAINT programming MODELING languages (Comp... MATHEMATICAL logic FAULT diagnosis
Fachzeitschrift
17

Software Reliability Growth Model Combining Testing Effort Function and Burr-Type Fault Detection Rate.
Qiao, Yixin ; Han, Qiang ; Han, Sheng ; et al.
Mathematics (2227-7390). Nov2025, Vol. 13 Issue 22, p3633. 22p.

SOFTWARE reliability COMPUTER software testin... PARAMETER estimation NONLINEAR statistical mo... DEEP learning SOFTWARE measurement
Fachzeitschrift
18

Next-Generation Software Testing with Generative AI: LLMs, Self-Healing Systems, and Implementation Insights.
Pacholi, Nisha ; Bahad, Pritika ; Chauhan, Dipti
Journal of Engineering Science & Technology Review. 2025, Vol. 18 Issue 6, p200-208. 9p.

GENERATIVE artificial in... COMPUTER software testin... DYNAMIC testing LANGUAGE models TEST systems
Fachzeitschrift
19

Severity-Oriented Multi-Objective Crowdsourced Test Reports Prioritization.
Wu, Yunhuan ; Xiao, Lei
International Journal of Image & Graphics. Nov2025, Vol. 25 Issue 6, p1-26. 26p.

MULTI-objective optimiza... COMPUTER software testin... CLUSTERING algorithms COMPUTER software qualit... QUALITY assurance MOBILE apps
Fachzeitschrift
20

Artificial Intelligence in Software Testing: A Systematic Review of a Decade of Evolution and Taxonomy.
Escalante-Viteri, Alex ; Mauricio, David
Algorithms. Nov2025, Vol. 18 Issue 11, p717. 64p.

ARTIFICIAL intelligence COMPUTER software testin... AUTOMATION software TAXONOMY MATHEMATICAL variables FORECASTING
Fachzeitschrift

Filter