The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information

Showing 1 - 20 of 7,543

1

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

Journal
2

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

Journal
3

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

Academic journal
4

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

Journal
5

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.

Journal
6

Determining the Impact of System Alignment and Agile Methods on Agile Management.
Moarefi, Mohammad. ; Mortezaei, Gelareh.
International Journal of Innovation Management & Organizational Behavior. 2025, Vol. 5 Issue 3, p1-8. 8p.

Academic journal
7

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.

Academic journal
8

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.

Academic journal
9

User acceptance test for software development in the agricultural domain using natural language processing.
Antonelli, Leandro ; Camilleri, Guy ; Torres, Diego ; et al.
Journal of Decision Systems. Nov2024, Vol. 33 Issue 4, p913-936. 24p.

Academic journal
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.

Academic journal
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.

Academic journal
12

Airbus Needs to Re-Examine Software Tests, AirAsia Founder Says.
Lee, Danny ; Amin, Haslinda
Bloomberg.com. 12/2/2025, pN.PAG-N.PAG. 1p.

Journal
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...
Academic journal
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
Academic journal
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
Academic journal
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
Academic journal
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
Academic journal
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
Academic journal
20

An SRGM Using Fault Removal Efficiency and Correction Lag Function.
Behera, Anup Kumar ; Agarwal, Priyanka
International Journal of Reliability, Quality & Safety Engineering. Oct2024, Vol. 31 Issue 5, p1-17. 17p.

Academic journal

Filter