Search Results - "Testing and Debugging—testing tools"
-
1
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Software Engineering and Methodology. 10:56-109
Subject Terms: data generators, D.2.5 [Software Engineering]: Testing and Debugging - Testing tools (e.g, 0202 electrical engineering, electronic engineering, information engineering, D.2.1 [Software Engineering]: Requirements/Specifications - Languages, 02 engineering and technology, coverage testing), D.2.5 [Software Engineering]: Testing and Debugging - Testing tools (e.g., data generators, coverage testing)
File Description: 388599 bytes; 44544 bytes; 783 bytes; text/plain; application/pdf; application/msword
Access URL: http://hub.hku.hk/bitstream/10722/48422/1/57857.pdf
http://hub.hku.hk/bitstream/10722/48422/1/57857.pdf
http://www.csis.hku.hk/research/techreps/document/TR-97-07.pdf
https://dblp.uni-trier.de/db/journals/tosem/tosem10.html#ChenTC01
https://www.cs.hku.hk/research/techreps/document/TR-97-07.pdf
http://www.cs.hku.hk/research/techreps/document/TR-97-07.pdf
https://researchbank.swinburne.edu.au/items/3c140ca4-c8c8-4235-a76e-b28a798c0d68/1/
http://hdl.handle.net/10722/48422 -
2
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
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools and code inspections General Terms Information Theory, Experimentation, Verification. Keywords Program Analysis, Information Theory
File Description: application/pdf
-
4
Authors:
Contributors:
Subject Terms: annotation, annotation processor, test case, unit test, Java, JUnit, SelfTest. 1998 CR Categories, D.2.3 [Software Engineering] Coding Tools and Techniques — Object-oriented programming, D.2.5 [Software Engineering] Testing and Debugging — Testing tools (e.g, data generators, coverage testing, D.3.4 [Programming Languages] Processors — Compilers, preprocessors
File Description: application/pdf
-
5
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, D.3.4 [Programming Languages, Processors—compilers Keywords compiler testing, compiler defect, automated testing, random testing, bug reporting
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936; http://www.flux.utah.edu/download?uid=115
-
6
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
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Verification Keywords Software Testing, Random Testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275; http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf
-
8
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, D.3.4 [Programming Languages, Processors—compilers General Terms Languages, Reliability Keywords compiler testing, compiler defect, automated testing, random testing, random
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Pre- and
File Description: application/pdf
-
10
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
-
11
Authors: et al.
Contributors: et al.
Source: http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf.
Subject Terms: D.2.5 [Software Engineering, Testing and Debugging— Testing Tools, D.2.6 [Software Engineering, Programming Environments—Interactive environments General Terms Human Factors Keywords Software Test, Social Testing, Serious Games
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.3734
http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf -
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging—testing tools General Terms Software Engineering, Verification, Reliability Keywords defect detection
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1885; http://research.microsoft.com/pubs/144568/DyTa.pdf
-
13
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
-
14
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
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, H.2.1 [Database Management, Logical Design—Data models General Terms Verification, algorithms Keywords Conceptual modeling, ORM, test data generation, databases
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.2973; http://www.cse.msu.edu/~stire/HomePage/Papers/issta2011.pdf
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Reliability, Security
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, C.3 [Special-Purpose and Application- Based Systems, Real-time and embedded systems General Terms Design, Experimentation, Performance Keywords Wireless sensor networks, Petri Nets, code generation, automatic
File Description: application/pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.7842; http://mir.cs.illinois.edu/reassert/pubs/symreassert.pdf
-
19
Authors: et al.
Contributors: et al.
File Description: application/pdf
-
20
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Testing Tools, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search— Heuristic Methods General Terms, Verification, Algorithms, Experimentation, Measurement, Performance Additional Key Words and Phrases, Evolutionary testing, test data generation, testability trans
File Description: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science