-
1Academic Journal
المؤلفون: Vu Le, Mehrdad Afshari, Zhendong Su
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: 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
-
2Academic Journal
المؤلفون: Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: 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
-
3Academic Journal
المؤلفون: Yoonsik Cheon
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.3707; http://www.cs.utep.edu/cheon/techreport/tr14-31.pdf
-
4Academic Journal
المؤلفون: John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
-
5Academic Journal
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52; http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf
-
6Academic Journal
المؤلفون: Michał H. Pałka, Koen Claessen, Alejandro Russo, John Hughes
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: 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
-
7Academic Journal
المؤلفون: Xuejun Yang, Yang Chen, Eric Eide, John Regehr
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: 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
-
8Academic Journal
المؤلفون: Gordon Fraser, Andreas Zeller
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.8214; http://www.evosuite.org/wp-content/papercite-data/pdf/issta11.pdf
-
9Academic Journal
المؤلفون: Ilchul Yoon, Alan Sussman, Atif Memon, Adam Porter
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Design, Experimentation Keywords incremental testing
وصف الملف: 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
-
10Academic Journal
المؤلفون: Jonathan Bell, Swapneel Sheth, Gail Kaiser
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf.
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.3734; http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf
الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.3734
http://www.cs.columbia.edu/~swapneel/papers/halo-testing-SSE2011.pdf -
11Academic Journal
المؤلفون: Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.1885; http://research.microsoft.com/pubs/144568/DyTa.pdf
-
12Academic Journal
المؤلفون: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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, Reliability Keywords Software model checking, state space reduction
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8546; http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf
-
13Academic Journal
المؤلفون: Arvind Arasu, Raghav Kaushik, Jian Li
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: 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
-
14Academic Journal
المؤلفون: Matthew J. Mcgill, Laura K. Dillon, R. E. K. Stirewalt
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: 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
-
15Academic Journal
المؤلفون: Taeho Kwon, Zhendong Su
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Reliability, Security
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7738; http://www.cs.ucdavis.edu/~su/publications/issta10-loading.pdf
-
16Academic Journal
المؤلفون: Yafeng Wu, Krasimira Kapitanova, Jingyuan Li, John A. Stankovic, Sang H. Son, Kamin Whitehouse
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: 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
-
17Academic Journal
المؤلفون: Brett Daniel, Tihomir Gvero, Darko Marinov
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: 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
-
18Academic Journal
المؤلفون: Phil Mcminn, David Binkley, Mark Harman
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: 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
-
19Academic Journal
المؤلفون: Zhifeng Lai, S. C. Cheung, W. K. Chan
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Reliability, D.2.5 [Software Engineering, Testing and Debugging – Testing tools. General Terms Languages, Algorithms, Reliability, Verification Keywords Software Testing, Atomicity, Serializability, Dynamic Analysis
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.630.8156; http://www.cs.cityu.edu.hk/~wkchan/papers/icse10-lai+cheung+chan.pdf
-
20Academic Journal
المؤلفون: Konstantin Serebryany, Timur Iskhodzhanov
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: 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
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946; http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf