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

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

Experiments with high volume test automation

Authors: Pat Mcgee

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.kaner.com/pdfs/MentsvillePM-CK.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging – testing tools. General Terms Reliability, Security, Verification. Keywords Software Testing, High Volume Test Automation, Regression Testing

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.5140
http://www.kaner.com/pdfs/MentsvillePM-CK.pdf

High coverage testing of haskell programs

Authors: Tristan Allwood, Cristian Cadar, Susan Eisenbach

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://dev.pubs.doc.ic.ac.uk/irulan-tr/irulan-tr.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Reliability Keywords Black-box testing, Haskell, needed narrowing, Irulan

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.462.6717
http://dev.pubs.doc.ic.ac.uk/irulan-tr/irulan-tr.pdf

ABSTRACT Random Testing of C Calling Conventions

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.st.cs.uni-sb.de/~lindig/papers/lindig-aadebug-2005.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Reliability, Measurement, Experimentation, Languages Keywords Random Testing, Calling Convention, Compiler, Composition, Consistency

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.1755
http://www.st.cs.uni-sb.de/~lindig/papers/lindig-aadebug-2005.pdf

VMVM: Unit Test Virtualization for Java

Authors: Jonathan Bell, Gail Kaiser

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.psl.cs.columbia.edu/wp-content/uploads/2014/06/vmvm-demo.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing Tools General Terms Reliability, Performance Keywords Testing

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.276
http://www.psl.cs.columbia.edu/wp-content/uploads/2014/06/vmvm-demo.pdf

Unit Test Virtualization with VMVM

Authors: Jonathan Bell, Gail Kaiser

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.psl.cs.columbia.edu/wp-content/uploads/2014/03/vmvm-icse2014-preprint.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing Tools General Terms Reliability, Performance Keywords Testing

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.642.8828
http://www.psl.cs.columbia.edu/wp-content/uploads/2014/03/vmvm-icse2014-preprint.pdf

Constraint-based Test Database Generation for SQL Queries

Authors: Claudio De La Riva, María José Suárez-cabal, Javier Tuya

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://alloy.mit.edu/community/files/DBGAlloy%28Final%29.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, test database generation, MCDC, SQL coverage, SQLFpc, Alloy toolset

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.5049; http://alloy.mit.edu/community/files/DBGAlloy%28Final%29.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.5049
http://alloy.mit.edu/community/files/DBGAlloy%28Final%29.pdf

[Untitled]

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.st.cs.uni-sb.de/publications/files/lindig-aadebug-2005.pdf.

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

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.9268
http://www.st.cs.uni-sb.de/publications/files/lindig-aadebug-2005.pdf