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

Tools and Algorithms for the Construction and Analysis of Systems

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

A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry.

Authors: Roque, Alejandro Sotomayor, Juan P. Santiago, Dionny et al.

Source: Software Testing: Verification & Reliability; Mar2025, Vol. 35 Issue 2, p1-28, 28p

Subject Terms: VIDEO game industry, QUALITY assurance, COMPUTER software testing, VIDEO game development, DEBUGGING, DEFECT tracking (Computer software development), AUTOMATION

AVOKE: an open-source toolbox for audiovisual web experiments in jsPsych.

Authors: Saxena, Shreshth Shi, Jackson Fink, Lauren

Source: PeerJ; Jan2026, p1-22, 22p

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

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

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

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

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

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.

Tools and Algorithms for the Construction and Analysis of Systems

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

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.

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

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

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