Search Results - Testing and Debugging—Testing tools General Terms Algorithms
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- testing tools. General Terms Algorithms, Performance, Reliability. Keywords Developer testing, unit testing, automated testing tools, software agitation
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
3
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging — Testing tools. General Terms Algorithms, Testing, Reliability. Keywords Concurrency Bugs, Dynamic Data Race Detection, Valgrind
File Description: application/pdf
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms
File Description: application/pdf
-
5
Authors: et al.
Source: Communications of the ACM; Aug2025, Vol. 68 Issue 8, p50-61, 12p
Subject Terms: FORMAL methods (Computer science), COMPUTER network protocols, INTERNET protocols, TECHNICAL specifications
Company/Entity: IEEE Standards Board, INTERNET Engineering Task Force (Organization)
-
6
Authors:
Source: Processes; Oct2025, Vol. 13 Issue 10, p3327, 27p
Subject Terms: HIV, MACHINE learning, NATURAL products, BIOAVAILABILITY, PHARMACOKINETICS, ANTIVIRAL agents, RANDOM forest algorithms
-
7
Authors: et al.
Source: Applied Sciences (2076-3417); Feb2025, Vol. 15 Issue 4, p2079, 18p
Subject Terms: SOFTWARE localization, COMPUTER software development, RANDOM walks, ALGORITHMS, PROBLEM solving, DEBUGGING
-
8
Authors: et al.
Source: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p
-
9
Authors:
Source: International Journal of Systems Assurance Engineering & Management; Nov2024, Vol. 15 Issue 11, p5157-5166, 10p
-
10
Authors:
Source: Sensors (14248220); Oct2025, Vol. 25 Issue 20, p6457, 21p
-
11
Authors:
Source: Software Quality Journal; Jun2023, Vol. 31 Issue 2, p575-617, 43p
Subject Terms: SEMANTICS, CONFORMANCE testing, GENERAL semantics, DESIGN techniques
-
12
Authors: et al.
Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-48, 48p
Subject Terms: QUANTUM computing, RESEARCH personnel, METHODS engineering, COMPUTER software
-
13
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Algorithms, Experimentation Keywords Mutation analysis, test case generation, unit testing, test oracles
File Description: application/pdf
-
14
Authors:
Source: Applied Sciences (2076-3417); Apr2025, Vol. 15 Issue 7, p3960, 34p
-
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, G.3[Probability and Statistics, Reliability and life testing General Terms Algorithms, Reliability, Verification Keywords Adaptive Random Testing, Random Testing, Test case selection
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6740; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.pdf
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools, H.1.1 [Models and Principles, Systems and Information Theory—information theory, H.2.8 [Database Management, Database Applications—statistical databases General Terms Algorithms, performance, security, theory
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5023; http://coitweb.uncc.edu/~yonwang/papers/dbtest.pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineer- ing, Testing and Debugging—testing tools, D.3.2 [Programming Languages, Language Classifications—C, H.3.4 [Programming Languages, Processors—compilers General Terms Algorithms, Languages, Reliability, Verification Keywords Compiler testing, miscompilation, equivalent program variants, automated
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361; http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, H.2.4 [Database Management, Systems— Query processing General Terms Algorithms, Performance, Reliability, Experimentation Keywords Data Generation, Testing, Masking, Benchmarking, Constraints
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.7613; http://www.cs.umd.edu/~lijian/paper/mod311arasu.pdf
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Design, Algorithms, Performance Additional Key Words and Phrases, Automatic test generation, dynamic symbolic execution, synthesized database interactions, database application testing ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52; http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf
-
20
Authors: et al.
Contributors: et al.
Subject Terms: Software/Program Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability Keywords, string constraints, regular languages, context-free languages
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.4853; http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text