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

Towards Incremental Component Compatibility Testing

Autoři: Ilchul Yoon Alan Sussman Atif Memon a další

Přispěvatelé: Ilchul Yoon Alan Sussman Atif Memon a další

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

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Design, Experimentation Keywords incremental testing

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.594.2015
http://www.cs.umd.edu/~atif/papers/YoonSussmanMemonPorterCBSE2011.pdf

GUI Testing Using Computer Vision

Autoři: Tsung-hsiang Chang Mit Csail Tom Yeh a další

Přispěvatelé: Tsung-hsiang Chang Mit Csail Tom Yeh a další

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

Témata: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.2504
http://uid.csail.mit.edu/projects/sikuli/sikuli-chi2010.pdf

Guided test generation for database applications via synthesized database interactions

Autoři: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Kai Pan Xintao Wu The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52; http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.485.52
http://coitweb.uncc.edu/~xwu/publ/tosem14.pdf

Unit testing concurrent software

Autoři: William Pugh Nathaniel Ayewah The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: William Pugh Nathaniel Ayewah The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8507
http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf

Parameterized Unit Tests with Unit Meister

Autoři: Nikolai Tillmann Wolfram Schulte The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Nikolai Tillmann Wolfram Schulte The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.microsoft.com/pubs/77417/p241-tillmann.pdf.

Témata: Engineering, Testing and Debugging — Testing tools General Terms, Design, Verification Keywords, unit testing, algebraic data types, symbolic execution, automatic test input

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2530
http://research.microsoft.com/pubs/77417/p241-tillmann.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Designing the HCP Software for Measuring Tree Height and Canopy Diameter Simultaneously in Southern Zagros

Autoři: Mohammad Javad Taheri Sarteshnizi Asghar Fallah Habibollah Ramezani Moziraji a další

Zdroj: بوم‌شناسی جنگل‌های ایران, Vol 13, Iss 1, Pp 120-132 (2025)

Témata: canopy diameter, persian oak, southern zagros, tree height, Plant ecology, QK900-989

Popis souboru: electronic resource

Relation: http://ifej.sanru.ac.ir/article-1-524-en.pdf; https://doaj.org/toc/2423-7140; https://doaj.org/toc/2676-4296

Přístupová URL adresa: https://doaj.org/article/f91f5ef37ea6473e98cf7e6daf03520b

Better Testing Through Behaviour

Autoři: Tom Adams The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://adams.id.au/blog/wp-content/uploads/2007/10/OSDC2007BetterTestingThroughBehaviour.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging- Testing tools General Terms Documentation, Design, Verification. Keywords Behaviour Driven Development, Test Driven Development, Testing Tools, Java, Agile Software Development

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.516.2406
http://adams.id.au/blog/wp-content/uploads/2007/10/OSDC2007BetterTestingThroughBehaviour.pdf

HAMPI: A Solver for String Constraints

Autoři: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer a další

Přispěvatelé: Adam Kiezun, Vijay Ganesh Philip J. Guo Pieter Hooimeijer a další

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

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

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

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

API Testing and Development with Postman : API Creation, Testing, Debugging, and Management Made Easy

Autoři: Dave Westerveld

Resource Type: eBook.

Témata: Application program interfaces (Computer software), Application program interfaces (Computer software)--Testing

Categories: COMPUTERS / Web / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Internet / Web Services & APIs

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

Automated replay and failure detection for web applications

Autoři: Sara Sprenkle Emily Gibson Sreedevi Sampath a další

Přispěvatelé: Sara Sprenkle Emily Gibson Sreedevi Sampath a další

Témata: Categories and Subject Descriptors, D.2.5, Software Engineering, Testing and Debugging–testing tools General Terms, Reliability, Experimentation Keywords, software testing, replay, test oracles, web applications

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

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

A study of interleaving coverage criteria

Autoři: Shan Lu Weihang Jiang Yuanyuan Zhou a další

Přispěvatelé: Shan Lu Weihang Jiang Yuanyuan Zhou a další

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

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.162
http://opera.cs.uiuc.edu/paper/fp051-lu.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

Study and Verification of a Physical Simulation System for Formation Pressure Testing while Drilling.

Autoři: Ma, Tianshou Peng, Nian Chen, Ping a další

Zdroj: Geofluids; 8/19/2018, p1-18, 18p, 1 Color Photograph, 7 Diagrams, 3 Charts, 6 Graphs

Témata: RESERVOIR oil pressure, DRILLING & boring machinery, DEBUGGING, COMPUTER simulation, PROSPECTING

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.

ATHLETE-FOCUSED STUDENT PHYSIQUE TEST AND EVALUATION SYSTEM UTILIZING BODY TEST BIG DATA: ENHANCING PERFORMANCE AND HEALTH MONITORING.

Autoři: Danna Gao Yin Zhang Guixiang Wei

Zdroj: International Journal of Medicine & Science of Physical Activity & Sport / Revista Internacional de Medicina y Ciencias de la Actividad Física y del Deporte; Aug2024, Vol. 24 Issue 97, p492-511, 20p

Témata: PHYSICAL fitness testing, BIG data, ATHLETES' health

ABSTRACT Unit Testing Concurrent Software

Autoři: William Pugh The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.cs.umd.edu/projects/PL/multithreadedtc/pubs/ASE07-pugh.pdf.

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.81
http://www.cs.umd.edu/projects/PL/multithreadedtc/pubs/ASE07-pugh.pdf

The EU AI Act and Its Contractual and Educational Implications: AI, Education, and the Law of Obligations.

Autoři: Ivković, Ratko Vučković, Dragan Ječmenić, Milan a další

Zdroj: International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE); 2025, Vol. 13 Issue 2, p551-562, 12p

Témata: ARTIFICIAL intelligence, RESPONSIBILITY, SCIENCE education, CONTRACTS, VIRTUAL classrooms, LOGIC

Korporace: EUROPEAN Union