Guided test generation for database applications via synthesized database interactions

Authors: Kai Pan, Xintao Wu

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

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

Authors: Michał H. Pałka, Koen Claessen, Alejandro Russo, John Hughes

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

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

Authors: Ilchul Yoon, Alan Sussman, Atif Memon, Adam Porter

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

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

Authors: Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

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

Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

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

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

Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf.

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, Reliability Keywords Software model checking, state space reduction

File Description: application/pdf

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

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

Authors: Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://research.microsoft.com/pubs/173267/19-guo.pdf.

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, Reliability Keywords Software model checking, state space reduction

File Description: application/pdf

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

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

Authors: Taeho Kwon, Zhendong Su

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

File Description: application/pdf

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

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

Authors: Tsung-hsiang Chang, Mit Csail, Tom Yeh, Robert C. Miller

Contributors: The Pennsylvania State University CiteSeerX Archives

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

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

File Description: application/pdf

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

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

Authors: Konstantin Serebryany, Timur Iskhodzhanov

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://data-race-test.googlecode.com/files/ThreadSanitizer.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Konstantin Serebryany, Timur Iskhodzhanov

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/pubs/archive/35604.pdf.

Subject Terms: 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

File Description: 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

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

Authors: Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.virginia.edu/~ph4u/pubs/issta09.pdf.

Subject Terms: 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

File Description: 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

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

Authors: Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://people.csail.mit.edu/akiezun/issta54-kiezun.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Javier Tuya, Mª José Suárez-cabal, Claudio De La Riva

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://giis.uniovi.es/testing/papers/dbtest-2009-qashrink.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Zhifeng Lai, S. C. Cheung, W. K. Chan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cityu.edu.hk/~wkchan/papers/fse08+zflai+scc+wkchan.pdf.

Subject Terms: 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

File Description: 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

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

Authors: Akbar Siami Namin, Na B, James H. Andrews, Duncan J. Murdoch

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 Experimentation, Measurement Keywords Mutation

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

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

A study of interleaving coverage criteria

Authors: Shan Lu, Weihang Jiang, Yuanyuan Zhou

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://opera.cs.uiuc.edu/paper/fp051-lu.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging–Testing tools General Terms, Reliability Keywords, interleaving, coverage criteria, concurrent program

File Description: application/pdf

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

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

Authors: William Pugh, Nathaniel Ayewah

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Marat Boshernitsan, Roongko Doong, Alberto Savoia

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.stanford.edu/class/cs295/papers/agitator-issta06.pdf.

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Kristen R. Walcott, Mary Lou Soffa

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.virginia.edu/papers/res59-walcott.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Verification, Experimentation Keywords test prioritization

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.7862
http://www.cs.virginia.edu/papers/res59-walcott.pdf