Suchergebnisse - "Testing and Debugging—Testing Tools"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Software Engineering and Methodology. 10:56-109
Schlagwörter: 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)
Dateibeschreibung: 388599 bytes; 44544 bytes; 783 bytes; text/plain; application/pdf; application/msword
Zugangs-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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
4
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Design, Experimentation Keywords incremental testing
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Verfügbarkeit: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Reliability, Security
Dateibeschreibung: application/pdf
-
17
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
18
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: 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
Autoren: et al.
Weitere Verfasser: et al.
Dateibeschreibung: application/pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: 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
Dateibeschreibung: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science