Výsledky vyhledávání - Testing and Debugging- testing tools. General Terms Algorithms

From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing

Autoři: Marat Boshernitsan Roongko Doong Alberto Savoia a další

Přispěvatelé: Marat Boshernitsan Roongko Doong Alberto Savoia a další

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

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.8472
http://www.stanford.edu/class/cs295/papers/agitator-issta06.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

ThreadSanitizer - Data race detection in practice

Autoři: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.5946
http://data-race-test.googlecode.com/files/ThreadSanitizer.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

Practical software model checking via dynamic interface reduction

Autoři: Huayang Guo Ming Wu Lidong Zhou a další

Přispěvatelé: Huayang Guo Ming Wu Lidong Zhou a další

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

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

Popis souboru: application/pdf

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

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

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

Modeling energy partition patterns of growing pigs fed diets with different net energy levels based on machine learning.

Autoři: Yang, Yuansen Hu, Qile Wang, Li a další

Zdroj: Journal of Animal Science. 2024, Vol. 102, p1-13. 13p.

Témata: Standard deviations, Artificial neural networks, Random forest algorithms, Machine learning, Prediction models

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

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

Advancing mental health diagnostics: a review on the role of smartphones, wearable devices, and artificial intelligence in depression and anxiety detection.

Autoři: Hoang, Huy Ha, Huong Nguyen, Hiep a další

Zdroj: Biomedical Engineering Letters; Nov2025, Vol. 15 Issue 6, p1003-1012, 10p

A survey of decision-making and planning methods for self-driving vehicles.

Autoři: Hu, Jun Wang, Yuefeng Cheng, Shuai a další

Zdroj: Frontiers in Neurorobotics; 2025, p1-24, 24p

Témata: AUTONOMOUS vehicles, MACHINE learning, DECISION making, ALGORITHMS, ROBOTICS

Data‐driven artificial intelligence‐based streamflow forecasting, a review of methods, applications, and tools.

Autoři: Jahanbani, Heerbod Ahmed, Khandakar Gu, Bruce

Zdroj: Journal of the American Water Resources Association; Dec2024, Vol. 60 Issue 6, p1095-1119, 25p

Témata: MACHINE learning, ARTIFICIAL intelligence, STREAM measurements, STREAMFLOW, ACQUISITION of manuscripts

Mutation-driven generation of unit tests and oracles

Autoři: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Zdroj: https://www.st.cs.uni-saarland.de/publications/files/fraser-issta-2010.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools General Terms Algorithms, Experimentation Keywords Mutation analysis, test case generation, unit testing, test oracles

Popis souboru: application/pdf

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

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

Towards Effective Adaptive Random Testing for Higher-Dimensional Input Domains

Autoři: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

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

Zdroj: http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Testing tools, G.3[Probability and Statistics, Reliability and life testing General Terms Algorithms, Reliability, Verification Keywords Adaptive Random Testing, Random Testing, Test case selection

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6740; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.6740
http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p1955.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.

Privacy preserving database application testing

Autoři: Xintao Wu Yongge Wang Yuliang Zheng a další

Přispěvatelé: Xintao Wu Yongge Wang Yuliang Zheng a další

Zdroj: http://coitweb.uncc.edu/~yonwang/papers/dbtest.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools, H.1.1 [Models and Principles, Systems and Information Theory—information theory, H.2.8 [Database Management, Database Applications—statistical databases General Terms Algorithms, performance, security, theory

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5023; http://coitweb.uncc.edu/~yonwang/papers/dbtest.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5023
http://coitweb.uncc.edu/~yonwang/papers/dbtest.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

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

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

Lightweight aircraft design: Integrating biomechanics and algorithm optimization for drone construction using paper materials.

Autoři: Wang, Jiazheng Rajendran, Parvathy

Zdroj: Molecular & Cellular Biomechanics; 2024, Vol. 21 Issue 2, p1-21, 21p

Témata: DRONE aircraft, OPTIMIZATION algorithms, OPEN source software, MULTI-objective optimization, BIOMECHANICS, AIRPLANES, VERTICALLY rising aircraft

Precision Unveiled in Unborn: A Cutting-Edge Hybrid Machine Learning Approach for Fetal Health State Classification.

Autoři: Prachi Sabherwal, Pooja Agrawal, Monika a další

Zdroj: Cardiovascular Engineering & Technology; Dec2025, Vol. 16 Issue 6, p641-662, 22p