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, 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
-
4
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
-
5
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
-
6
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
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Algorithms, Verification Keywords, Testing Object-oriented Programs, Model Checking, Coverage, Red-Black Trees
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.3757; http://ase.arc.nasa.gov/people/visser/ASE05.pdf
-
8
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)
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Design, Experimentation Keywords incremental testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.2015; http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf
-
10
Authors:
Source: Processes; Oct2025, Vol. 13 Issue 10, p3327, 27p
Subject Terms: HIV, MACHINE learning, NATURAL products, BIOAVAILABILITY, PHARMACOKINETICS, ANTIVIRAL agents, RANDOM forest algorithms
-
11
Authors: et al.
Contributors: et al.
-
12
Authors:
Source: Sensors (14248220); Oct2025, Vol. 25 Issue 20, p6457, 21p
-
13
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
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software Program Verification—For- mal methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, String constraints, word equations, regular languages, context-free languages, concolic testing, program analysis ACM Reference Format
File Description: application/pdf
-
15
Authors: et al.
Source: Mathematics (2227-7390); Sep2025, Vol. 13 Issue 18, p2921, 42p
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.7 [Software Engineering, Software Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, string constraints, word equations, regular languages, contextfree languages, concolic testing, program analysis † These authors contributed equally to this work
File Description: application/pdf
-
17
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
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – Testing Tools General Terms Design, Algorithms, Experimentation Keywords JavaScript, fault repair, Document Object Model (DOM
File Description: application/pdf
-
19
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Algorithms, Verification Keywords, Testing Object Oriented Programs, Model Checking, Abstraction, Coverage, Red-Black Trees
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.5024; http://ase.arc.nasa.gov/publications/pdf/1087.pdf
-
20
Authors:
Source: Applied Sciences (2076-3417); Apr2025, Vol. 15 Issue 7, p3960, 34p
Nájsť tento článok vo Web of Science 
Full Text Finder 
Full Text