Suchergebnisse - Testing and Debugging — Testing tools. General Terms Algorithms

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

Autoren: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

Weitere Verfasser: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Tsung-hsiang Chang Mit Csail Tom Yeh et al.

Weitere Verfasser: Tsung-hsiang Chang Mit Csail Tom Yeh et al.

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

Schlagwörter: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Konstantin Serebryany Timur Iskhodzhanov The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Autoren: Huayang Guo Ming Wu Lidong Zhou et al.

Weitere Verfasser: Huayang Guo Ming Wu Lidong Zhou et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Ryšavý, Petr Anuarbekov, Alikhan Dostálová Merkerová, Michaela et al.

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

Schlagwörter: 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.

Autoren: Yang, Yuansen Hu, Qile Wang, Li et al.

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

Schlagworte: 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.

Autoren: Tosca, Elena Maria Aiello, Ludovica De Carlo, Alessandro et al.

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

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

Assessing molecular docking tools: understanding drug discovery and design.

Autoren: Nivatya, Harendar Kumar Singh, Anjali Kumar, Nitin et al.

Quelle: 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.

Autoren: Hoang, Huy Ha, Huong Nguyen, Hiep et al.

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

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

Autoren: Hu, Jun Wang, Yuefeng Cheng, Shuai et al.

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

Schlagwörter: AUTONOMOUS vehicles, MACHINE learning, DECISION making, ALGORITHMS, ROBOTICS

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

Autoren: Jahanbani, Heerbod Ahmed, Khandakar Gu, Bruce

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

Schlagwörter: MACHINE learning, ARTIFICIAL intelligence, STREAM measurements, STREAMFLOW, ACQUISITION of manuscripts

Mutation-driven generation of unit tests and oracles

Autoren: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Gordon Fraser Andreas Zeller The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.7671

Towards Effective Adaptive Random Testing for Higher-Dimensional Input Domains

Autoren: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

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

Verfügbarkeit: 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.

Autoren: Vasileva, Maria T. Penchev, Georgi

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

Schlagwörter: SOFTWARE reliability, OPEN source software, SOFTWARE development tools, DEFECT tracking (Computer software development), HAUSDORFF spaces, GOODNESS-of-fit tests

Firma/Körperschaft: GITHUB Inc.

Privacy preserving database application testing

Autoren: Xintao Wu Yongge Wang Yuliang Zheng et al.

Weitere Verfasser: Xintao Wu Yongge Wang Yuliang Zheng et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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.

Autoren: Ivković, Ratko Vučković, Dragan Ječmenić, Milan et al.

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

Schlagwörter: ARTIFICIAL intelligence, RESPONSIBILITY, SCIENCE education, CONTRACTS, VIRTUAL classrooms, LOGIC

Firma/Körperschaft: 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

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Schlagworte: 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.

Autoren: Wang, Jiazheng Rajendran, Parvathy

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

Schlagwörter: DRONE aircraft, OPTIMIZATION algorithms, OPEN source software, MULTI-objective optimization, BIOMECHANICS, AIRPLANES, VERTICALLY rising aircraft

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

Autoren: Wang, Lin Geng, Fengji Hao, Xiaoxin et al.

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

Schlagwörter: CREATIVE thinking, SHORT-term memory, PRESCHOOL children, CREATIVE ability in children, PSYCHOMETRICS, STATISTICAL reliability, TEST validity