Cover Image

Concolic Testing of JavaScript using Sparkplug

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Zhe, Xie, Fei
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Systematic Evaluation of Environmental Flakiness in JavaScript Tests
by: Hashemi, Negar, et al.
Published: (2026)

Detecting and Evaluating Order-Dependent Flaky Tests in JavaScript
by: Hashemi, Negar, et al.
Published: (2025)

PatchFuzz: Patch Fuzzing for JavaScript Engines
by: Wang, Junjie, et al.
Published: (2025)

IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
by: Straubinger, Philipp, et al.
Published: (2024)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
by: Zou, Yinglong, et al.
Published: (2024)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)

jscefr: A Framework to Evaluate the Code Proficiency for JavaScript
by: Ragkhitwetsagul, Chaiyong, et al.
Published: (2024)

Static JavaScript Call Graphs: A Comparative Study
by: Antal, Gábor, et al.
Published: (2024)

A Longitudinal Study of Dependency Reclassifications in JavaScript Projects
by: Liu, Yuxin, et al.
Published: (2026)

Automated Refactoring of Legacy JavaScript Code to ES6 Modules
by: Paltoglou, Katerina, et al.
Published: (2021)

To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub
by: Bogner, Justus, et al.
Published: (2022)

Challenging Machine Learning Algorithms in Predicting Vulnerable JavaScript Functions
by: Ferenc, Rudolf, et al.
Published: (2024)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
by: Moreno, José Miguel, et al.
Published: (2024)

Do Comments and Expertise Still Matter? An Experiment on Programmers' Adoption of AI-Generated JavaScript Code
by: Li, Changwen, et al.
Published: (2025)

Enhanced Bug Prediction in JavaScript Programs with Hybrid Call-Graph Based Invocation Metrics
by: Antal, Gábor, et al.
Published: (2024)

An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript
by: Venkatesh, Ashwin Prasad Shivarpatna, et al.
Published: (2024)

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation
by: Chen, Guanyu, et al.
Published: (2025)

From Coverage to Causes: Data-Centric Fuzzing for JavaScript Engines
by: Ganguly, Kishan Kumar, et al.
Published: (2025)

Static Semantics Reconstruction for Enhancing JavaScript-WebAssembly Multilingual Malware Detection
by: Xia, Yifan, et al.
Published: (2023)

From Obfuscated to Obvious: A Comprehensive JavaScript Deobfuscation Tool for Security Analysis
by: Zhou, Dongchao, et al.
Published: (2025)

Insecure Ingredients? Exploring Dependency Update Patterns of Bundled JavaScript Packages on the Web
by: Swierzy, Ben, et al.
Published: (2025)

Large Language Models Cannot Reliably Detect Vulnerabilities in JavaScript: The First Systematic Benchmark and Evaluation
by: Fei, Qingyuan, et al.
Published: (2025)

CASCADE: LLM-Powered JavaScript Deobfuscator at Google
by: Jiang, Shan, et al.
Published: (2025)

Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)

Chain-of-Experts (CoE): Reverse Engineering Software Bills of Materials for JavaScript Application Bundles through Code Clone Search
by: Song, Leo, et al.
Published: (2024)

Characterizing JavaScript Security Code Smells
by: Kambhampati, Vikas, et al.
Published: (2024)

Call Me Maybe: Enhancing JavaScript Call Graph Construction using Graph Neural Networks
by: Bhuiyan, Masudul Hasan Masud, et al.
Published: (2025)

Influence-Guided Concolic Testing of Transformer Robustness
by: Hong, Chih-Duo, et al.
Published: (2025)

Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026)

Concolic Testing on Individual Fairness of Neural Network Models
by: Huang, Ming-I, et al.
Published: (2025)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)

ColorGo: Directed Concolic Execution
by: Li, Jia, et al.
Published: (2025)

CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification
by: Ding, Yepeng, et al.
Published: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

Exposing Go's Hidden Bugs: A Novel Concolic Framework
by: Gorna, Karolina, et al.
Published: (2025)

Automatic Build Repair for Test Cases using Incompatible Java Versions
by: Mak, Ching Hang, et al.
Published: (2024)

JSXGraph--Dynamic Mathematics with JavaScript
by: Gerhauser, Michael, et al.
Published: (2010)

Java JIT Testing with Template Extraction
by: Zang, Zhiqiang, et al.
Published: (2024)

JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)
by: Amin, Nishil, et al.
Published: (2026)