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

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

Experiments with high volume test automation

Συγγραφείς: Pat Mcgee

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

Πηγή: http://www.kaner.com/pdfs/MentsvillePM-CK.pdf.

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

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

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

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

Συγγραφείς: Tristan Allwood, Cristian Cadar, Susan Eisenbach

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

Πηγή: http://dev.pubs.doc.ic.ac.uk/irulan-tr/irulan-tr.pdf.

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

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

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

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

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

Πηγή: http://www.st.cs.uni-sb.de/~lindig/papers/lindig-aadebug-2005.pdf.

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

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

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

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

Συγγραφείς: Jonathan Bell, Gail Kaiser

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

Πηγή: http://www.psl.cs.columbia.edu/wp-content/uploads/2014/06/vmvm-demo.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing Tools General Terms Reliability, Performance Keywords Testing

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

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

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

Συγγραφείς: Jonathan Bell, Gail Kaiser

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

Πηγή: http://www.psl.cs.columbia.edu/wp-content/uploads/2014/03/vmvm-icse2014-preprint.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing Tools General Terms Reliability, Performance Keywords Testing

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

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

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

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

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

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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.5049
http://alloy.mit.edu/community/files/DBGAlloy%28Final%29.pdf

[Untitled]

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

Πηγή: http://www.st.cs.uni-sb.de/publications/files/lindig-aadebug-2005.pdf.

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

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

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

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