Treffer 1 - 20 von 23.962

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
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
5

Combinatorial Test Sequence Generation Method Integrated with STPA.
Xu, Heng ; Huang, Zhiqiu ; Tao, Chuanqi ; et al.
International Journal of Software Engineering & Knowledge Engineering. Nov2025, p1-27. 27p. 14 Illustrations.

EMPIRICAL research SAFETY COMPUTER software testin... DYNAMIC testing SAFETY regulations
Fachzeitschrift
Zu den Favoriten
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
Zu den Favoriten
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...
Zu den Favoriten
8

Semantic Log Partitioning: Towards Automated Root Cause Analysis
Afshinpour, Bahareh ; Amini, Massih-Reza ; Groz, Roland ; et al.
IEEE 24th International Conference on Software Quality. :639-648

Cambridge, United Kingdo... Root-cause events detect... Log mining task Machine learning Log analysis Automated software testi...
Konferenz
Zu den Favoriten
9

Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Le Tolguenec, Paul-Antoine ; Rachelson, Emmanuel ; Besse, Yann ; et al.
ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :920-931

Vienne, Austria intrinsic motivation genetic algorithms evolutionary strategies diversity software reliability
Konferenz
Zu den Favoriten
10

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
Zu den Favoriten
11

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
Zu den Favoriten
12

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
Zu den Favoriten
13

On Polyglot Program Testing
Houdaille, Philémon ; Khelladi, Djamel, Eddine ; Combemale, Benoît ; et al.
FSE 2024 - 32nd ACM International Conference on the Foundations of Software Engineering. :1-5

Porto de Galinhas, Brazi... Polyglot programming White box testing Software testing and deb... Interoperability Software development tec...
Konferenz
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
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
Zu den Favoriten
18

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
Zu den Favoriten
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
Zu den Favoriten
20

An Essay on the Role of Folklore in Software Engineering: Preconceptions and Their Meaning in Software Testing and Test Automation
Enoiu, Eduard, Paul ; Mälardalens University - Mälardalens Högskola, Sweden and Reykjavik University

Knowledge Rituals Software Engineering Pra... Folklore Folklore Software Engine... Software engineering
E-Ressource
Zu den Favoriten

Filter