Search Results - Testing and Debugging— Testing tools General Terms Algorithms

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

Authors: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

Contributors: Marat Boshernitsan Roongko Doong Alberto Savoia et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

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

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

Subject Terms: Testing and Debugging—Testing tools General Terms Algorithms, Design, Reliability

File Description: application/pdf

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

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

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Authors: Huayang Guo Ming Wu Lidong Zhou et al.

Contributors: Huayang Guo Ming Wu Lidong Zhou et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

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

Subject Terms: 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.

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

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

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

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

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

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

Assessing molecular docking tools: understanding drug discovery and design.

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

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

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

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

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

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

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

Subject Terms: AUTONOMOUS vehicles, MACHINE learning, DECISION making, ALGORITHMS, ROBOTICS

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

Authors: Jahanbani, Heerbod Ahmed, Khandakar Gu, Bruce

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

Subject Terms: MACHINE learning, ARTIFICIAL intelligence, STREAM measurements, STREAMFLOW, ACQUISITION of manuscripts

Mutation-driven generation of unit tests and oracles

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

Towards Effective Adaptive Random Testing for Higher-Dimensional Input Domains

Authors: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

Contributors: Johannes Mayer The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: 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

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

Authors: Vasileva, Maria T. Penchev, Georgi

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

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

Company/Entity: GITHUB Inc.

Privacy preserving database application testing

Authors: Xintao Wu Yongge Wang Yuliang Zheng et al.

Contributors: Xintao Wu Yongge Wang Yuliang Zheng et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

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

Subject Terms: ARTIFICIAL intelligence, RESPONSIBILITY, SCIENCE education, CONTRACTS, VIRTUAL classrooms, LOGIC

Company/Entity: 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

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

Authors: Wang, Jiazheng Rajendran, Parvathy

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

Subject Terms: 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.

Authors: Prachi Sabherwal, Pooja Agrawal, Monika et al.

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