-
1Conference
Authors: Ledru, Yves, Petrenko, Alexandre, Boroday, Sergiy
Source: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering. :510-514
Availability: http://dl.acm.org/doi/10.1109/ASE.2009.23
-
2Academic Journal
Contributors: Swinburne University of Technology
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 -
3Academic Journal
Authors: Vu Le, Mehrdad Afshari, Zhendong Su
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
4Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
5Academic Journal
Authors: Yoonsik Cheon
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
6Academic Journal
Authors: John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
7Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
8Academic Journal
Authors: Michał H. Pałka, Koen Claessen, Alejandro Russo, John Hughes
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
9Academic Journal
Authors: Xuejun Yang, Yang Chen, Eric Eide, John Regehr
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
10Academic Journal
Authors: Gordon Fraser, Andreas Zeller
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
11Academic Journal
Authors: Ilchul Yoon, Alan Sussman, Atif Memon, Adam Porter
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
12Academic Journal
Authors: Jonathan Bell, Swapneel Sheth, Gail Kaiser
Contributors: The Pennsylvania State University CiteSeerX Archives
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 -
13Academic Journal
Authors: Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
14Academic Journal
Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
15Academic Journal
Authors: Arvind Arasu, Raghav Kaushik, Jian Li
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
16Academic Journal
Authors: Matthew J. Mcgill, Laura K. Dillon, R. E. K. Stirewalt
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
17Academic Journal
Authors: Taeho Kwon, Zhendong Su
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Reliability, Security
File Description: application/pdf
-
18Academic Journal
Authors: Yafeng Wu, Krasimira Kapitanova, Jingyuan Li, John A. Stankovic, Sang H. Son, Kamin Whitehouse
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
19Academic Journal
Authors: Brett Daniel, Tihomir Gvero, Darko Marinov
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
20Academic Journal
Authors: Tsung-hsiang Chang, Mit Csail, Tom Yeh, Robert C. Miller
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf