Guided test generation for database applications via synthesized database interactions

Συγγραφείς: Kai Pan, Xintao Wu

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf.

Θεματικοί όροι: 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

Διαθεσιμότητα: 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

Συγγραφείς: Michał H. Pałka, Koen Claessen, Alejandro Russo, John Hughes

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf.

Θεματικοί όροι: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275
http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf

Towards Incremental Component Compatibility Testing

Συγγραφείς: Ilchul Yoon, Alan Sussman, Atif Memon, Adam Porter

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf.

Θεματικοί όροι: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.2015
http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf

Dyta: dynamic symbolic execution guided with static verification results

Συγγραφείς: Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://research.microsoft.com/pubs/144568/DyTa.pdf.

Θεματικοί όροι: 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

Διαθεσιμότητα: 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

Συγγραφείς: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://sigops.org/sosp/sosp11/current/2011-Cascais/19-guo-online.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: 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

Practical software model checking via dynamic interface reduction

Συγγραφείς: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf.

Θεματικοί όροι: 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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8546
http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf

Practical software model checking via dynamic interface reduction

Συγγραφείς: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://research.microsoft.com/pubs/173267/19-guo.pdf.

Θεματικοί όροι: 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.348.3242

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.3242
http://research.microsoft.com/pubs/173267/19-guo.pdf

Automatic Detection of Unsafe Component Loadings

Συγγραφείς: Taeho Kwon, Zhendong Su

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.ucdavis.edu/~su/publications/issta10-loading.pdf.

Θεματικοί όροι: 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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7738
http://www.cs.ucdavis.edu/~su/publications/issta10-loading.pdf

GUI Testing Using Computer Vision

Συγγραφείς: Tsung-hsiang Chang, Mit Csail, Tom Yeh, Robert C. Miller

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf.

Θεματικοί όροι: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504
http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf

ThreadSanitizer - Data race detection in practice

Συγγραφείς: Konstantin Serebryany, Timur Iskhodzhanov

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf.

Θεματικοί όροι: 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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946
http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf

Threadsanitizer: data race detection in practice

Συγγραφείς: Konstantin Serebryany, Timur Iskhodzhanov

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf.

Θεματικοί όροι: 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.308.3963; http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.3963
http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf

HAMPI: A Solver for String Constraints

Συγγραφείς: Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf.

Θεματικοί όροι: Software/Program Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability Keywords, string constraints, regular languages, context-free languages

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.4853; http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.4853
http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf

HAMPI: A Solver for String Constraints

Συγγραφείς: Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://people.csail.mit.edu/akiezun/issta54-kiezun.pdf.

Θεματικοί όροι: Software/Program Verification—Formal Methods, D.2.5 [Software Engineering, Testing and Debugging—Testing Tools General Terms, Verification, Algorithms, Reliability Keywords, string constraints, regular languages, context-free languages

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.2709
http://people.csail.mit.edu/akiezun/issta54-kiezun.pdf

Query-Aware Shrinking Test Databases

Συγγραφείς: Javier Tuya, Mª José Suárez-cabal, Claudio De La Riva

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://giis.uniovi.es/testing/papers/dbtest-2009-qashrink.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- Testing tools General Terms Reliability, Experimentation, Languages, Verification. Keywords Software testing, Database testing, MC/DC, Test-Suite Reduction, Data Reduction, SQL Coverage

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.3134
http://giis.uniovi.es/testing/papers/dbtest-2009-qashrink.pdf

Inter-context control-flow and data-flow test adequacy criteria for nesC applications

Συγγραφείς: Zhifeng Lai, S. C. Cheung, W. K. Chan

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.cityu.edu.hk/~wkchan/papers/fse08+zflai+scc+wkchan.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – testing tools. General Terms Reliability, Experimentation, Verification. Keywords Test Adequacy Criteria, Software Testing, Networked Embedded System

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7370; http://www.cs.cityu.edu.hk/~wkchan/papers/fse08+zflai+scc+wkchan.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7370
http://www.cs.cityu.edu.hk/~wkchan/papers/fse08+zflai+scc+wkchan.pdf

Sufficient mutation operators for measuring test effectiveness

Συγγραφείς: Akbar Siami Namin, Na B, James H. Andrews, Duncan J. Murdoch

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—testing tools General Terms Experimentation, Measurement Keywords Mutation

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.2083

A study of interleaving coverage criteria

Συγγραφείς: Shan Lu, Weihang Jiang, Yuanyuan Zhou

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://opera.cs.uiuc.edu/paper/fp051-lu.pdf.

Θεματικοί όροι: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging–Testing tools General Terms, Reliability Keywords, interleaving, coverage criteria, concurrent program

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.162
http://opera.cs.uiuc.edu/paper/fp051-lu.pdf

Unit testing concurrent software

Συγγραφείς: William Pugh, Nathaniel Ayewah

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools General Terms Experimentation, Reliability, Verification Keywords Java, testing framework, concurrent abstraction, JUnit test cases, MultithreadedTC

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8507
http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf

From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing

Συγγραφείς: Marat Boshernitsan, Roongko Doong, Alberto Savoia

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- testing tools. General Terms Algorithms, Performance, Reliability. Keywords Developer testing, unit testing, automated testing tools, software agitation

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8472
http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf

Time aware test suite prioritization

Συγγραφείς: Kristen R. Walcott, Mary Lou Soffa

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.virginia.edu/papers/res59-walcott.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Verification, Experimentation Keywords test prioritization

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.7862
http://www.cs.virginia.edu/papers/res59-walcott.pdf