Výsledky vyhľadávania - "Testing and Debugging— Testing Tools"

TACCLE: a methodology for object-oriented software testing at the class and cluster levels

Autori: Tse, TH Chen, TY Chen, HY a ďalší

Prispievatelia: Tse, TH Chen, TY Chen, HY a ďalší

Zdroj: ACM Transactions on Software Engineering and Methodology. 10:56-109

Predmety: 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)

Popis súboru: 388599 bytes; 44544 bytes; 783 bytes; text/plain; application/pdf; application/msword

Prístupová URL adresa: 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

Compiler validation via equivalence modulo inputs

Autori: Vu Le Mehrdad Afshari Zhendong Su a ďalší

Prispievatelia: Vu Le Mehrdad Afshari Zhendong Su a ďalší

Zdroj: http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6361
http://web.cs.ucdavis.edu/%7Esu/publications/emi.pdf

An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing

Autori: Kelly Androutsopoulos David Clark Haitao Dan a ďalší

Prispievatelia: Kelly Androutsopoulos David Clark Haitao Dan a ďalší

Zdroj: http://www0.cs.ucl.ac.uk/staff/M.Harman/icse14-dc.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.676.2772

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.676.2772
http://www0.cs.ucl.ac.uk/staff/M.Harman/icse14-dc.pdf

Writing Self-testing Java Classes with SelfTest

Autori: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707
http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf

Testcase reduction for C compiler bugs

Autori: John Regehr Yang Chen Pascal Cuoq a ďalší

Prispievatelia: John Regehr Yang Chen Pascal Cuoq a ďalší

Zdroj: http://www.flux.utah.edu/download?uid=115.

Predmety: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3936
http://www.flux.utah.edu/download?uid=115

Guided test generation for database applications via synthesized database interactions

Autori: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52; http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52
http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf

Testing an Optimising Compiler by Generating Random Lambda Terms

Autori: Michał H. Pałka Koen Claessen Alejandro Russo a ďalší

Prispievatelia: Michał H. Pałka Koen Claessen Alejandro Russo a ďalší

Zdroj: http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275
http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf

Finding and understanding bugs in C compilers

Autori: Xuejun Yang Yang Chen Eric Eide a ďalší

Prispievatelia: Xuejun Yang Yang Chen Eric Eide a ďalší

Zdroj: http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3297
http://web.stanford.edu/class/cs343/resources/finding-bugs-compilers-annotated.pdf

Generating Parameterized Unit Tests

Autori: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.evosuite.org/wp-content/papercite-data/pdf/issta11.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.8214

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.8214
http://www.evosuite.org/wp-content/papercite-data/pdf/issta11.pdf

Towards Incremental Component Compatibility Testing

Autori: Ilchul Yoon Alan Sussman Atif Memon a ďalší

Prispievatelia: Ilchul Yoon Alan Sussman Atif Memon a ďalší

Zdroj: http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf.

Predmety: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Design, Experimentation Keywords incremental testing

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.2015
http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf

Secret Ninja Testing with HALO Software Engineering

Autori: Jonathan Bell Swapneel Sheth Gail Kaiser a ďalší

Prispievatelia: Jonathan Bell Swapneel Sheth Gail Kaiser a ďalší

Zdroj: http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.3734

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.3734
http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf

Dyta: dynamic symbolic execution guided with static verification results

Autori: Xi Ge Kunal Taneja Tao Xie a ďalší

Prispievatelia: Xi Ge Kunal Taneja Tao Xie a ďalší

Zdroj: http://research.microsoft.com/pubs/144568/DyTa.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1885; http://research.microsoft.com/pubs/144568/DyTa.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1885
http://research.microsoft.com/pubs/144568/DyTa.pdf

Practical software model checking via dynamic interface reduction

Autori: Huayang Guo Ming Wu Lidong Zhou a ďalší

Prispievatelia: Huayang Guo Ming Wu Lidong Zhou a ďalší

Zdroj: http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5065

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5065
http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf

Data generation using declarative constraints

Autori: Arvind Arasu Raghav Kaushik Jian Li a ďalší

Prispievatelia: Arvind Arasu Raghav Kaushik Jian Li a ďalší

Zdroj: http://www.cs.umd.edu/~lijian/paper/mod311arasu.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.7613
http://www.cs.umd.edu/~lijian/paper/mod311arasu.pdf

Scalable analysis of conceptual data models

Autori: Matthew J. Mcgill Laura K. Dillon R. E. K. Stirewalt a ďalší

Prispievatelia: Matthew J. Mcgill Laura K. Dillon R. E. K. Stirewalt a ďalší

Zdroj: http://www.cse.msu.edu/~stire/HomePage/Papers/issta2011.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.2973
http://www.cse.msu.edu/~stire/HomePage/Papers/issta2011.pdf

Automatic Detection of Unsafe Component Loadings

Autori: Taeho Kwon Zhendong Su The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Taeho Kwon Zhendong Su The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ucdavis.edu/~su/publications/issta10-loading.pdf.

Predmety: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Reliability, Security

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7738

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7738
http://www.cs.ucdavis.edu/~su/publications/issta10-loading.pdf

Run time assurance of application-level requirements in wireless sensor networks

Autori: Yafeng Wu Krasimira Kapitanova Jingyuan Li a ďalší

Prispievatelia: Yafeng Wu Krasimira Kapitanova Jingyuan Li a ďalší

Zdroj: http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/wu10_run-time-assurance.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.475

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.475
http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/wu10_run-time-assurance.pdf

On test repair using . . .

Autori: Brett Daniel Tihomir Gvero Darko Marinov a ďalší

Prispievatelia: Brett Daniel Tihomir Gvero Darko Marinov a ďalší

Zdroj: http://mir.cs.illinois.edu/reassert/pubs/symreassert.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.7842
http://mir.cs.illinois.edu/reassert/pubs/symreassert.pdf

GUI Testing Using Computer Vision

Autori: Tsung-hsiang Chang Mit Csail Tom Yeh a ďalší

Prispievatelia: Tsung-hsiang Chang Mit Csail Tom Yeh a ďalší

Zdroj: http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf.

Predmety: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504
http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf

Empirical evaluation of a nesting testability transformation for evolutionary testing

Autori: Phil Mcminn David Binkley Mark Harman a ďalší

Prispievatelia: Phil Mcminn David Binkley Mark Harman a ďalší

Zdroj: http://www0.cs.ucl.ac.uk/staff/M.Harman/tosem-empiricalnesting.pdf.

Predmety: 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

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.679.2295

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.679.2295
http://www0.cs.ucl.ac.uk/staff/M.Harman/tosem-empiricalnesting.pdf