Výsledky vyhledávání - Testing and Debugging— Testing tools General Terms Reliability

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

Autoři: Zhifeng Lai S. C. Cheung W. K. Chan a další

Přispěvatelé: Zhifeng Lai S. C. Cheung W. K. Chan a další

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

Témata: 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

Popis souboru: 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

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

Autoři: Pat Mcgee The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Pat Mcgee The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

Automatic Detection of Unsafe Component Loadings

Autoři: Taeho Kwon Zhendong Su The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Taeho Kwon Zhendong Su The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

Autoři: Javier Tuya Mª José Suárez-cabal Claudio De La Riva a další

Přispěvatelé: Javier Tuya Mª José Suárez-cabal Claudio De La Riva a další

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

Témata: 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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.3134
http://giis.uniovi.es/testing/papers/dbtest-2009-qashrink.pdf

Modeling and Assessing Software Reliability in Open-Source Projects.

Autoři: Vasileva, Maria T. Penchev, Georgi

Zdroj: Computation; Sep2025, Vol. 13 Issue 9, p214, 21p

Témata: SOFTWARE reliability, OPEN source software, SOFTWARE development tools, DEFECT tracking (Computer software development), HAUSDORFF spaces, GOODNESS-of-fit tests

Korporace: GITHUB Inc.

High coverage testing of haskell programs

Autoři: Tristan Allwood Cristian Cadar Susan Eisenbach a další

Přispěvatelé: Tristan Allwood Cristian Cadar Susan Eisenbach a další

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

Témata: 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

Popis souboru: application/pdf

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

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

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: application/pdf

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

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

circGPAcorr: an integrative tool for functional annotation of circular RNAs using expression data.

Autoři: Ryšavý, Petr Anuarbekov, Alikhan Dostálová Merkerová, Michaela a další

Zdroj: BioData Mining; 8/1/2025, Vol. 18 Issue 1, p1-32, 32p

Témata: CIRCULAR RNA, MYELODYSPLASTIC syndromes, MICRORNA, TRANSCRIPTOMES, MESSENGER RNA, GENE ontology, SEQUENCE analysis

Concurrent validity and reliability of the session rating of perceived exertion scale among high-trained rower during training sessions.

Autoři: Dai, Xinyu Yan, Jihong Bi, Xuecui

Zdroj: BMC Sports Science, Medicine & Rehabilitation; 7/12/2025, Vol. 17 Issue 1, p1-9, 9p

Témata: RATE of perceived exertion, ROWING training, FUNCTIONAL training, STRENGTH training, STATISTICAL reliability

Pharmacometrics in the Age of Large Language Models: A Vision of the Future.

Autoři: Tosca, Elena Maria Aiello, Ludovica De Carlo, Alessandro a další

Zdroj: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1274, 26p

Témata: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

Measuring coding ability in young children: relations to computational thinking, creative thinking, and working memory.

Autoři: Wang, Lin Geng, Fengji Hao, Xiaoxin a další

Zdroj: Current Psychology; Apr2023, Vol. 42 Issue 10, p8039-8050, 12p

Témata: CREATIVE thinking, SHORT-term memory, PRESCHOOL children, CREATIVE ability in children, PSYCHOMETRICS, STATISTICAL reliability, TEST validity

[Untitled]

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

Unit Test Virtualization with VMVM

Autoři: Jonathan Bell Gail Kaiser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jonathan Bell Gail Kaiser The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

Autoři: Claudio De La Riva María José Suárez-cabal Javier Tuya a další

Přispěvatelé: Claudio De La Riva María José Suárez-cabal Javier Tuya a další

Zdroj: http://alloy.mit.edu/community/files/DBGAlloy%28Final%29.pdf.

Témata: 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

Popis souboru: 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

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

VMVM: Unit Test Virtualization for Java

Autoři: Jonathan Bell Gail Kaiser The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jonathan Bell Gail Kaiser The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

Under-constrained Execution: Making Automatic Code Destruction Easy and Scalable Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging— Testing tools, Symbolic execution General Terms Reliability, Languages

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.stanford.edu/~engler/issta07v-engler.pdf.

Témata: symbolic execution, dynamic analysis

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.2305
http://www.stanford.edu/~engler/issta07v-engler.pdf

EXE: Automatically Generating Inputs of Death

Autoři: Cristian Cadar Vijay Ganesh Peter M. Pawlowski a další

Přispěvatelé: Cristian Cadar Vijay Ganesh Peter M. Pawlowski a další

Zdroj: http://pag.lcs.mit.edu/reading-group/cadar06generating.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, Symbolic execution General Terms Reliability, Languages Keywords Bug finding, test case generation, constraint solving, symbolic execution

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7883
http://pag.lcs.mit.edu/reading-group/cadar06generating.pdf

Assessing molecular docking tools: understanding drug discovery and design.

Autoři: Nivatya, Harendar Kumar Singh, Anjali Kumar, Nitin a další

Zdroj: Future Journal of Pharmaceutical Sciences; 8/18/2025, Vol. 11 Issue 1, p1-31, 31p

Z.C.: Automated wcet analysis based on program modes

Autoři: Meng-luo Ji Ji Wang Shuhao Li a další

Přispěvatelé: Meng-luo Ji Ji Wang Shuhao Li a další

Zdroj: http://www.irisa.fr/lande/lande/icse-proceedings/ast/p36.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Program Verification- validation, D.2.5 [Software Engineering, Testing and Debugging- Testing tools, D.4.7 [Operating Systems, Organization and Design- real-time systems and embedded systems. General Terms Reliability, Theory, Verification. Keywords real-time systems, WCET analysis, program mode, program slicing, iterative

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.659.5243
http://www.irisa.fr/lande/lande/icse-proceedings/ast/p36.pdf

Proceedings of the First International Workshop on Random Testing (RT’06) Pathoriented random testing

Autoři: Arnaud Gotlieb Matthieu Petit The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Arnaud Gotlieb Matthieu Petit The Pennsylvania State University CiteSeerX Archives

Zdroj: https://www.cs.drexel.edu/~jhk39/teaching/cs576su06/week5Readings/gotlieb.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and debugging—Testing tools (e.g. data generators, coverage testing) General Terms Reliability Keywords Random testing

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.192