Search Results - testing tools General Terms Verification Keywords JavaScript

Jalangi: A selective record-replay and dynamic analysis framework for JavaScript

Authors: Koushik Sen Swaroop Kalasapur Tasneem Brutch et al.

Contributors: Koushik Sen Swaroop Kalasapur Tasneem Brutch et al.

Source: http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073; http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073
http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Mutta: a novel tool for E2E web mutation testing.

Authors: Leotta, Maurizio Paparella, Davide Ricca, Filippo

Source: Software Quality Journal; Mar2024, Vol. 32 Issue 1, p5-26, 22p

Subject Terms: WEB-based user interfaces, COMPUTER software testing, JAVASCRIPT programming language, CLIENT/SERVER computing equipment

JavaScript SBST Heuristics to Enable Effective Fuzzing of NodeJS Web APIs.

Authors: MAN ZHANG BELHADI, ASMA ARCURI, ANDREA

Source: ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-29, 29p

Subject Terms: JAVASCRIPT programming language, COMPUTER software testing, PROGRAMMING languages, HEURISTIC, TEST systems

Streamlining electronic medical record data extraction and validation in digital hospitals: A systematic review to identify optimal approaches and methods.

Authors: Lim, Han Chang Wong, Howard Philip, Reji et al.

Source: Learning Health Systems; Oct2025, Vol. 9 Issue 4, p1-13, 13p

Subject Terms: DATA extraction, STANDARDIZATION, ELECTRONIC health records, MODEL validation, MEDICAL personnel, HEALTH information systems

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

Paving the way for Brazil's first national rare diseases registry: the RARAS data governance model.

Authors: Andrade Bernardi, Filipe Costa Lima, Vinícius Alonso, Mateus et al.

Source: BMC Digital Health; 10/1/2025, Vol. 3 Issue 1, p1-16, 16p

A Review on Tools, Mechanics, Benefits, and Challenges of Gamified Software Testing.

Authors: FULCINI, TOMMASO COPPOLA, RICCARDO ARDITO, LUCA et al.

Source: ACM Computing Surveys; 2023 Suppl14s, Vol. 55, p1-37, 37p

Subject Terms: COMPUTER software testing, SOFTWARE engineering, LITERARY sources, GREY literature

The Level of Programming Among Pupils at Primary School in the Context of Motivation and Professional Focus.

Authors: Moc, Pavel Honzíková, Jarmila Tomášková, Tetjana

Source: Education Sciences; Sep2025, Vol. 15 Issue 9, p1111, 14p

Subject Terms: MOTIVATION (Psychology), COMPUTER programming, SECONDARY schools, ALGORITHMS, VOCATIONAL guidance, EDUCATION software, ACADEMIC achievement, TECHNICAL education

Otomatik Yazılım Test Araçlarını Değerlendirmek için Karşılaştırmalı Bir Çalışma. (Turkish)

Alternate Title: A Comparative Study for Evaluating Automated Software Testing Tools. (English)

Authors: EROL, Ekrem SENAN, Sibel

Source: International Journal of InformaticsTechnologies; tem2022, Vol. 15 Issue 3, p301-316, 16p

FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing.

Authors: Schilling, Markus Bayerlein, Bernd von Hartrott, Philipp et al.

Source: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-19, 19p

Subject Terms: RDF (Document markup language), KNOWLEDGE representation (Information theory), TENSILE tests, SEMANTIC Web, ARTIFICIAL intelligence

Subjective performance assessment protocol for visual explanations-based face verification explainability.

Authors: Bousnina, Naima Ascenso, João Correia, Paulo Lobato et al.

Source: EURASIP Journal on Image & Video Processing; 9/27/2024, Vol. 2024 Issue 1, p1-29, 29p

Subject Terms: RELIABILITY in engineering, EVERYDAY life, ETHNICITY, GENDER, EXPLANATION

Comparison of open-source runtime testing tools for microservices.

Authors: Sotomayor, Juan P. Allala, Sai Chaithra Santiago, Dionny et al.

Source: Software Quality Journal; Mar2023, Vol. 31 Issue 1, p55-87, 33p

Subject Terms: LANGUAGE ability testing, APPLICATION software, TELECOMMUNICATION systems, COMPUTER software testing

Company/Entity: GOOGLE Inc., NETFLIX Inc.

Large language models can extract metadata for annotation of human neuroimaging publications.

Authors: Turner, Matthew D. Appaji, Abhishek Ar Rakib, Nibras et al.

Source: Frontiers in Neuroinformatics; 2025, p1-16, 16p

Subject Terms: LANGUAGE models, ANNOTATIONS, DATA extraction, BRAIN imaging, GENERATIVE pre-trained transformers

Company/Entity: OPENAI Inc.

Standardising digital health interventions in Uganda's health system using an enterprise architecture approach.

Authors: Wamema, Joseph Amiyo, Mercy Nabukenya, Josephine

Source: BMC Digital Health; 10/10/2025, Vol. 3 Issue 1, p1-18, 18p

Evolution of an Artificial Intelligence-Powered Application for Mammography.

Authors: Vasilev, Yuriy Rumyantsev, Denis Vladzymyrskyy, Anton et al.

Source: Diagnostics (2075-4418); Apr2025, Vol. 15 Issue 7, p822, 22p

Subject Terms: ARTIFICIAL intelligence, SOFTWARE validation, MAMMOGRAMS, HEALTH insurance, RADIOLOGISTS

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

Deep Learning and Remote‐Sensed Observations Reveal Global Underestimation of River Obstructions.

Authors: He, Mingxia Niu, Jie Riley, William J. et al.

Source: Water Resources Research; Sep2025, Vol. 61 Issue 9, p1-22, 22p

Subject Terms: DEEP learning, REMOTE sensing, RIVER engineering, HYDROLOGIC models, SPATIAL arrangement, ENVIRONMENTAL monitoring, AQUATIC ecology, QUANTITATIVE research

On Combining Static, Dynamic and Interactive Analysis Security Testing Tools to Improve OWASP Top Ten Security Vulnerability Detection in Web Applications.

Authors: Mateo Tudela, Francesc Bermejo Higuera, Juan-Ramón Bermejo Higuera, Javier et al.

Source: Applied Sciences (2076-3417); Dec2020, Vol. 10 Issue 24, p9119, 24p

Subject Terms: FALSE positive error, WEB-based user interfaces, DESIGN techniques, DYNAMIC testing

Seed Selection for Testing Deep Neural Networks.

Authors: Zhi, Yuhan Xie, Xiaofei Shen, Chao et al.

Source: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-33, 33p

Subject Terms: ARTIFICIAL neural networks, SELECTION (Plant breeding), DEEP learning

Software Model for Improving Selectronic Company Using E-commerce Tools.

Authors: Arreaga Tapia, Henry David Alvarado Toaza, Adrián Eduardo Mesias Cajas, Jaime et al.

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 6, p414-423, 10p

Subject Terms: INVENTORY management systems, INVENTORY control, SUPPLY chain management, WEB-based user interfaces, SUPPLY chains