On the public citation graph

Juliet 1.1 C/C++ and Java Test Suite

https://doi.org/10.1109/mc.2012.345

0 signed · 158 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/cpe.3532openalex-snapshot

CLORIFI: software vulnerability discovery using code clone verification

inferred← citeshttps://doi.org/10.1002/cpe.8292openalex-snapshot

Vulnerability detection based on transformer and high‐quality number embedding

inferred← citeshttps://doi.org/10.1002/spe.2401openalex-snapshot

Bad and good news about using software assurance tools

inferred← citeshttps://doi.org/10.1002/spe.3181openalex-snapshot

Bug detection in Java code: An extensive evaluation of static analysis tools using Juliet Test Suites

inferred← citeshttps://doi.org/10.1002/stvr.1627openalex-snapshot

Evaluating code‐based test input generator tools

inferred← citeshttps://doi.org/10.1007/978-3-030-32523-7_31openalex-snapshot

Application of Siamese Neural Networks for Fast Vulnerability Detection in MIPS Executable Code

inferred← citeshttps://doi.org/10.1007/978-3-030-34339-2_11openalex-snapshot

Designing a Code Vulnerability Meta-scanner

inferred← citeshttps://doi.org/10.1007/978-3-031-56583-0_8openalex-snapshot

SdShield: Effectively Ensuring Heap Security via Shadow Page Table

inferred← citeshttps://doi.org/10.1007/978-3-031-65172-4_14openalex-snapshot

VulPrompt: Prompt-Based Vulnerability Detection Using Few-Shot Graph Learning

inferred← citeshttps://doi.org/10.1007/978-3-032-00627-1_10openalex-snapshot

Do We Still Need Canaries in the Coal Mine? Measuring Shadow Stack Effectiveness in Countering Stack Smashing

inferred← citeshttps://doi.org/10.1007/978-3-032-16649-4_2openalex-snapshot

Bridging Semantics and Structure for Software Vulnerability Detection Using Hybrid Network Models

inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_17openalex-snapshot

Quantitative Symbolic Patch Impact Analysis

inferred← citeshttps://doi.org/10.1007/978-3-319-20376-8_60openalex-snapshot

Using Logical Error Detection in Software Controlling Remote-Terminal Units to Predict Critical Information Infrastructures Failures

inferred← citeshttps://doi.org/10.1007/978-3-319-30222-5_14openalex-snapshot

Execution Path Classification for Vulnerability Analysis and Detection

inferred← citeshttps://doi.org/10.1007/978-3-319-92375-8_8openalex-snapshot

Ranking Source Code Static Analysis Warnings for Continuous Monitoring of FLOSS Repositories

inferred← citeshttps://doi.org/10.1007/978-981-10-4121-1_11openalex-snapshot

Race That Never Ends!

inferred← citeshttps://doi.org/10.1007/978-981-92-3423-3_42openalex-snapshot

LLMVul-MFI: Improving the Ability of LLM to Detect Multi-Category Vulnerabilities Through Iterative Method with Few Samples

inferred← citeshttps://doi.org/10.1007/s10009-017-0454-5openalex-snapshot

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

inferred← citeshttps://doi.org/10.1007/s10009-025-00780-7openalex-snapshot

Interleaving static analysis and LLM prompting with applications to error specification inference

inferred← citeshttps://doi.org/10.1007/s10207-024-00888-yopenalex-snapshot

A comprehensive analysis on software vulnerability detection datasets: trends, challenges, and road ahead

inferred← citeshttps://doi.org/10.1007/s10515-025-00563-zopenalex-snapshot

JDExtractor: an automated approach for efficient extraction of defect-related methods in Java projects

inferred← citeshttps://doi.org/10.1007/s10515-026-00617-wopenalex-snapshot

On-demand generation of high-quality software engineering datasets using large language models and ontologies

inferred← citeshttps://doi.org/10.1007/s10664-021-10029-xopenalex-snapshot

Deep security analysis of program code

inferred← citeshttps://doi.org/10.1007/s10664-024-10590-1openalex-snapshot

How secure is AI-generated code: a large-scale comparison of large language models

inferred← citeshttps://doi.org/10.1007/s11219-021-09555-0openalex-snapshot

A hierarchical model for quantifying software security based on static analysis alerts and software metrics

inferred← citeshttps://doi.org/10.1016/j.cose.2017.02.007openalex-snapshot

Program analysis with risk-based classification of dynamic invariants for logical error detection

inferred← citeshttps://doi.org/10.1016/j.cose.2023.103121openalex-snapshot

Insecurity Refactoring: Automated Injection of Vulnerabilities in Source Code

inferred← citeshttps://doi.org/10.1016/j.eswa.2025.128504openalex-snapshot

On the value of imbalance loss functions in enhancing deep learning-based vulnerability detection

inferred← citeshttps://doi.org/10.1016/j.infsof.2015.08.002openalex-snapshot

On the capability of static code analysis to detect security vulnerabilities

inferred← citeshttps://doi.org/10.1016/j.infsof.2018.11.004openalex-snapshot

Athena: A framework to automatically generate security test oracle via extracting policies from source code and intended software behaviour

inferred← citeshttps://doi.org/10.1016/j.jss.2023.111934openalex-snapshot

A survey on machine learning techniques applied to source code

inferred← citeshttps://doi.org/10.1016/j.neucom.2015.11.139openalex-snapshot

A secure-coding and vulnerability check system based on smart-fuzzing and exploit

inferred← citeshttps://doi.org/10.1016/j.scico.2026.103470openalex-snapshot

Understanding warnings generated by PMD and SonarQube, their rules and compliance to established coding standards

inferred← citeshttps://doi.org/10.1016/j.scico.2026.103569openalex-snapshot

Slicing assisted program verification: An empirical study

inferred← citeshttps://doi.org/10.1038/s41597-025-06154-7openalex-snapshot

A Large-Scale Collection Of (Non-)Actionable Static Code Analysis Reports

inferred← citeshttps://doi.org/10.1088/1742-6596/2363/1/012010openalex-snapshot

Improvement of Vulnerable Code Dataset Based on Program Equivalence Transformation

inferred← citeshttps://doi.org/10.1109/3scea68071.2026.11603078openalex-snapshot

The Reasoning Gap in Automated Vulnerability Detection: A Comprehensive Benchmark of LLMs, SAST, DAST, and Graph-Based Approaches

inferred← citeshttps://doi.org/10.1109/access.2020.2990197openalex-snapshot

Scalable Static Detection of Use-After-Free Vulnerabilities in Binary Code

inferred← citeshttps://doi.org/10.1109/access.2022.3176865openalex-snapshot

Static Code Analysis Alarms Filtering Reloaded: A New Real-World Dataset and its ML-Based Utilization

inferred← citeshttps://doi.org/10.1109/access.2025.3570777openalex-snapshot

Efficient Hardware-Assisted Heap Memory Safety for Embedded RISC-V Systems

inferred← citeshttps://doi.org/10.1109/access.2025.3620811openalex-snapshot

A Use-After-Free Vulnerability Detection Method for Multi-Threaded Programs Based on an Improved Petri Net and Value Flow Graph

inferred← citeshttps://doi.org/10.1109/ainit65432.2025.11035403openalex-snapshot

UAF Vulnerability Detection Method Based on Dynamic Tag Extension

inferred← citeshttps://doi.org/10.1109/ase56229.2023.00163openalex-snapshot

PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types

inferred← citeshttps://doi.org/10.1109/asew.2019.00040openalex-snapshot

Project Achilles: A Prototype Tool for Static Method-Level Vulnerability Detection of Java Source Code Using a Recurrent Neural Network

inferred← citeshttps://doi.org/10.1109/bdcloud.2018.00062openalex-snapshot

A Comprehensive Detection of Memory Corruption Vulnerabilities for C/C++ Programs

inferred← citeshttps://doi.org/10.1109/bigdata66926.2025.11401065openalex-snapshot

CodeVul+: A Structure-Aware Framework for Cross-Repository Vulnerability Detection

inferred← citeshttps://doi.org/10.1109/bigdata66926.2025.11402220openalex-snapshot

ResVul-LLM: A Neurosymbolic Framework Combining Large Language Models and Symbolic Reasoning for C/C++ Vulnerability Analysis

inferred← citeshttps://doi.org/10.1109/bigdata66926.2025.11402539openalex-snapshot

P 3 R: Parallel Plugin-Based Parameter Efficient Fine-Tuning for Code Understanding Through Hierarchical Representation Refinement

inferred← citeshttps://doi.org/10.1109/cars67163.2025.11337721openalex-snapshot

Synth Vuln: An Asset and Findings Generator Supporting Vulnerability Management Research

inferred← citeshttps://doi.org/10.1109/ccsb71176.2026.11716362openalex-snapshot

An Empirical Study of CPG-based Static Analysis on Binaries

inferred← citeshttps://doi.org/10.1109/compsac51774.2021.00219openalex-snapshot

Automatic Identification of Vulnerable Code: Investigations with an AST-Based Neural Network

inferred← citeshttps://doi.org/10.1109/cset.2019.8904906openalex-snapshot

SecureQualitas: A Security Corpus of Real Java Applications

inferred← citeshttps://doi.org/10.1109/dac18074.2021.9586293openalex-snapshot

SHORE: Hardware/Software Method for Memory Safety Acceleration on RISC-V

inferred← citeshttps://doi.org/10.1109/dasc-picom-cbdcom-cyberscitech49142.2020.00095openalex-snapshot

A Neural Embedding for Source Code: Security Analysis and CWE Lists

inferred← citeshttps://doi.org/10.1109/dasc-picom-datacom-cyberscitec.2016.78openalex-snapshot

Autocorrelation-Based Detection of Infinite Loops at Runtime

inferred← citeshttps://doi.org/10.1109/dsn-w54100.2022.00032openalex-snapshot

Vulnerability Dataset Construction Methods Applied To Vulnerability Detection: A Survey

inferred← citeshttps://doi.org/10.1109/eurosp60621.2024.00024openalex-snapshot

Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs

inferred← citeshttps://doi.org/10.1109/hase.2015.16openalex-snapshot

A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops

inferred← citeshttps://doi.org/10.1109/host64725.2025.11050045openalex-snapshot

Cryptographic Least Privilege Enforcement for Scalable Memory Isolation

inferred← citeshttps://doi.org/10.1109/icaic63015.2025.10848559openalex-snapshot

C/C++ Vulnerability Data Set Generation Framework using a Parser and LLM

inferred← citeshttps://doi.org/10.1109/icaica52286.2021.9497888openalex-snapshot

A Framework of Vulnerable Code Dataset Generation by Open-Source Injection

inferred← citeshttps://doi.org/10.1109/iccws53234.2021.9703043openalex-snapshot

Enhancement in Buffer Overflow (BOF) Detection Capability of Cppcheck Static Analysis Tool

inferred← citeshttps://doi.org/10.1109/icdis.2018.00017openalex-snapshot

Using Software Engineering Metrics to Evaluate the Quality of Static Code Analysis Tools

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00022openalex-snapshot

Data Quality for Software Vulnerability Datasets

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00096openalex-snapshot

SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript

inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00011openalex-snapshot

Evaluating the Maintainability of Forward-Porting Vulnerabilities in Fuzzer Benchmarks

inferred← citeshttps://doi.org/10.1109/icst.2015.7102587openalex-snapshot

Evaluating Symbolic Execution-Based Test Tools

inferred← citeshttps://doi.org/10.1109/icst.2016.43openalex-snapshot

Large Scale Generation of Complex and Faulty PHP Test Cases

inferred← citeshttps://doi.org/10.1109/icst62969.2025.10988968openalex-snapshot

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities

inferred← citeshttps://doi.org/10.1109/icstw55395.2022.00053openalex-snapshot

Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code Analysis

inferred← citeshttps://doi.org/10.1109/imis.2016.46openalex-snapshot

Dynamic Taint Tracking of Web Application Based on Static Code Analysis

inferred← citeshttps://doi.org/10.1109/infocomwkshps61880.2024.10620804openalex-snapshot

LLM-CloudSec: Large Language Model Empowered Automatic and Deep Vulnerability Analysis for Intelligent Clouds

inferred← citeshttps://doi.org/10.1109/isci50694.2020.00021openalex-snapshot

Fast Bug Detection Algorithm for Identifying Potential Vulnerabilities in Juliet Test Cases

inferred← citeshttps://doi.org/10.1109/issre.2017.27openalex-snapshot

Practical Evaluation of Static Analysis Tools for Cryptography: Benchmarking Method and Case Study

inferred← citeshttps://doi.org/10.1109/msr59073.2023.00031openalex-snapshot

Wasmizer: Curating WebAssembly-driven Projects on GitHub

inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00024openalex-snapshot

The Security Risk of Lacking Compiler Protection in WebAssembly

inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00013openalex-snapshot

IntJect: Vulnerability Intent Bug Seeding

inferred← citeshttps://doi.org/10.1109/saner67736.2026.00029openalex-snapshot

Reusing Legacy Code in Wasm: Key Challenges of Compilation and Code Semantics Preservation

inferred← citeshttps://doi.org/10.1109/sera.2019.8886795openalex-snapshot

Towards Automated Security Vulnerability and Software Defect Localization

inferred← citeshttps://doi.org/10.1109/southeastcon44009.2020.9368277openalex-snapshot

A Practical Approach for Ranking Software Warnings from Multiple Static Code Analysis Reports

inferred← citeshttps://doi.org/10.1109/sp40000.2020.00098openalex-snapshot

Cornucopia: Temporal Safety for CHERI Heaps

inferred← citeshttps://doi.org/10.1109/sp54263.2024.00263openalex-snapshot

Sticky Tags: Efficient and Deterministic Spatial Memory Error Mitigation using Persistent Memory Tags

inferred← citeshttps://doi.org/10.1109/sp63933.2026.00085openalex-snapshot

QuickSafe: Targeted Hardening Against Memory Corruption

inferred← citeshttps://doi.org/10.1109/stc55697.2022.00017openalex-snapshot

A Modular and Expandable Testbed for Evaluating ML-based Bug Finders

inferred← citeshttps://doi.org/10.1109/tcad.2022.3197511openalex-snapshot

Toward Register Spilling Security Using LLVM and ARM Pointer Authentication

inferred← citeshttps://doi.org/10.1109/tdsc.2025.3626811openalex-snapshot

MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety

inferred← citeshttps://doi.org/10.1109/ths.2013.6699091openalex-snapshot

A gold standard for assessing the coverage of static analyzers

inferred← citeshttps://doi.org/10.1109/tr.2019.2937214openalex-snapshot

Understanding How to Use Static Analysis Tools for Detecting Cryptography Misuse in Software

inferred← citeshttps://doi.org/10.1109/tse.2023.3329667openalex-snapshot

Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities

inferred← citeshttps://doi.org/10.1145/2602087.2602101openalex-snapshot

Towards modeling the behavior of static code analysis tools

inferred← citeshttps://doi.org/10.1145/2660267.2662394openalex-snapshot

POSTER

inferred← citeshttps://doi.org/10.1145/3088525.3088675openalex-snapshot

Learning a classifier for false positive error reports emitted by static code analysis tools

inferred← citeshttps://doi.org/10.1145/3092566openalex-snapshot

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques

inferred← citeshttps://doi.org/10.1145/3192366.3192418openalex-snapshot

Pinpoint: fast and precise sparse value flow analysis for million lines of code

inferred← citeshttps://doi.org/10.1145/3236024.3236079openalex-snapshot

MemFix: static analysis-based repair of memory deallocation errors for C

inferred← citeshttps://doi.org/10.1145/3296979.3192418openalex-snapshot

Pinpoint: fast and precise sparse value flow analysis for million lines of code

inferred← citeshttps://doi.org/10.1145/3306446.3340828openalex-snapshot

Ranking warnings from multiple source code static analyzers via ensemble learning

inferred← citeshttps://doi.org/10.1145/3466752.3480076openalex-snapshot

Cryptographic Capability Computing

inferred← citeshttps://doi.org/10.1145/3475716.3475781openalex-snapshot

An Empirical Study of Rule-Based and Learning-Based Approaches for Static Application Security Testing

inferred← citeshttps://doi.org/10.1145/3475960.3475985openalex-snapshot

CVEfixes: automated collection of vulnerabilities and their fixes from open-source software

inferred← citeshttps://doi.org/10.1145/3477314.3507308openalex-snapshot

Security risks of porting C programs to webassembly

inferred← citeshttps://doi.org/10.1145/3489517.3530548openalex-snapshot

HWST128

inferred← citeshttps://doi.org/10.1145/3520304.3534044openalex-snapshot

Towards the evolutionary assessment of neural transformers trained on source code

inferred← citeshttps://doi.org/10.1145/3533767.3534380openalex-snapshot

An empirical study on the effectiveness of static C code analyzers for vulnerability detection

inferred← citeshttps://doi.org/10.1145/3548606.3560625openalex-snapshot

DangZero

inferred← citeshttps://doi.org/10.1145/3576915.3623138openalex-snapshot

Cryptographically Enforced Memory Safety

inferred← citeshttps://doi.org/10.1145/3579856.3582830openalex-snapshot

Benchmarking the Benchmarks

inferred← citeshttps://doi.org/10.1145/3592623openalex-snapshot

Asm2Seq: Explainable Assembly Code Functional Summary Generation for Reverse Engineering and Vulnerability Analysis

inferred← citeshttps://doi.org/10.1145/3597503.3623321openalex-snapshot

FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing

inferred← citeshttps://doi.org/10.1145/3597926.3598135openalex-snapshot

How Effective Are Neural Networks for Fixing Security Vulnerabilities

inferred← citeshttps://doi.org/10.1145/3620665.3640382openalex-snapshot

Plankton: Reconciling Binary Code and Debug Information

inferred← citeshttps://doi.org/10.1145/3652588openalex-snapshot

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

inferred← citeshttps://doi.org/10.1145/3652588.3663317openalex-snapshot

Interleaving Static Analysis and LLM Prompting

inferred← citeshttps://doi.org/10.1145/3663533.3664036openalex-snapshot

MoreFixes: A Large-Scale Dataset of CVE Fix Commits Mined through Enhanced Repository Discovery

inferred← citeshttps://doi.org/10.1145/3671016.3671379openalex-snapshot

Enhancing Deep Learning Vulnerability Detection through Imbalance Loss Functions: An Empirical Study

inferred← citeshttps://doi.org/10.1145/3696443.3708930openalex-snapshot

Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security

inferred← citeshttps://doi.org/10.1145/3699602openalex-snapshot

Less Is More: Unlocking Semi-Supervised Deep Learning for Vulnerability Detection

inferred← citeshttps://doi.org/10.1145/3715711openalex-snapshot

Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities

inferred← citeshttps://doi.org/10.1145/3719027.3765059openalex-snapshot

Beyond Tag Collision: Cluster-based Memory Management for Tag-based Sanitizers

inferred← citeshttps://doi.org/10.1145/3721977openalex-snapshot

A Survey of Source Code Representations for Machine Learning-Based Cybersecurity Tasks

inferred← citeshttps://doi.org/10.1145/3763166openalex-snapshot

On Abstraction Refinement for Bayesian Program Analysis

inferred← citeshttps://doi.org/10.1145/3779208.3785279openalex-snapshot

TAGShield: Persistent Tagging for Robust Stack Memory Error Protection

inferred← citeshttps://doi.org/10.1145/3779208.3807487openalex-snapshot

CCA-Droid: Context-Aware Cryptographic API Misuse Detection in Android Apps

inferred← citeshttps://doi.org/10.1145/3796507openalex-snapshot

Large Language Model-Based Agents for Software Engineering: A Survey

inferred← citeshttps://doi.org/10.1145/3832783.3834336openalex-snapshot

IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities

inferred← citeshttps://doi.org/10.11606/d.45.2018.tde-20082018-170140openalex-snapshot

Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories

inferred← citeshttps://doi.org/10.1186/s40537-023-00727-2openalex-snapshot

A survey on deep learning tools dealing with data scarcity: definitions, challenges, solutions, tips, and applications

inferred← citeshttps://doi.org/10.1186/s42400-021-00088-4openalex-snapshot

Bin2vec: learning representations of binary executable programs for security tasks

inferred← citeshttps://doi.org/10.1186/s42400-025-00518-7openalex-snapshot

Source code vulnerability detection based on deep learning: a review

inferred← citeshttps://doi.org/10.14722/ndss.2018.23312openalex-snapshot

Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing

inferred← citeshttps://doi.org/10.15439/2016f117openalex-snapshot

Efficient Data-Race Detection with Dynamic Symbolic Execution

inferred← citeshttps://doi.org/10.1587/transinf.2016edl8035openalex-snapshot

Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code

inferred← citeshttps://doi.org/10.2139/ssrn.5391866openalex-snapshot

Modav-Nl: Improving Vulnerability Detection Through Multi-Objective Domain Adaptation and Natural Language Explanations

inferred← citeshttps://doi.org/10.24251/hicss.2023.813openalex-snapshot

ODSS: A Ghidra-based Static Analysis Tool for Detecting Stack-Based Buffer Overflows

inferred← citeshttps://doi.org/10.24963/ijcai.2017/214openalex-snapshot

End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks

inferred← citeshttps://doi.org/10.31908/19098367.2846openalex-snapshot

Static Code Analysis: A Tree of Science Review

inferred← citeshttps://doi.org/10.3233/jcs-220130openalex-snapshot

Con2Mix: A semi-supervised method for imbalanced tabular security data1

inferred← citeshttps://doi.org/10.33411/ijist/1623openalex-snapshot

Improving Software Security Through an LLM-Based Vulnerability Detection Model

inferred← citeshttps://doi.org/10.3390/a15120449openalex-snapshot

Do Neural Transformers Learn Human-Defined Concepts? An Extensive Study in Source Code Processing Domain

inferred← citeshttps://doi.org/10.3390/app9194086openalex-snapshot

Instruction2vec: Efficient Preprocessor of Assembly Code to Detect Software Weakness with CNN

inferred← citeshttps://doi.org/10.3745/ktccs.2016.5.4.79openalex-snapshot

Development of Safe Korean Programming Language Using Static Analysis

inferred← citeshttps://doi.org/10.4236/ojapps.2023.1311163openalex-snapshot

Securing Stock Transactions Using Blockchain Technology: Architecture for Identifying and Reducing Vulnerabilities Linked to the Web Applications Used (MAHV-BC)

inferred← citeshttps://doi.org/10.47749/t/unicamp.2017.993696openalex-snapshot

Towards the safe development of cryptographic software

inferred← citeshttps://doi.org/10.48084/etasr.18302openalex-snapshot

Evaluating the Out-of-Domain Generalization in Source Code Vulnerability Detection

inferred← citeshttps://doi.org/10.48084/etasr.19634openalex-snapshot

Multilingual Source Code Vulnerability Detection Using Deep Learning: A Semantic Representation and Transfer Learning Approach

inferred← citeshttps://doi.org/10.48550/arxiv.1805.03450openalex-snapshot

Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE

inferred← citeshttps://doi.org/10.48550/arxiv.2111.14072openalex-snapshot

A Comprehensive and Cross-Platform Test Suite for Memory Safety -- Towards an Open Framework for Testing Processor Hardware Supported Security Extensions

inferred← citeshttps://doi.org/10.5220/0005561101000111openalex-snapshot

Automated Exploit Detection using Path Profiling - The Disposition Should Matter, Not the Position

inferred← citeshttps://doi.org/10.5555/2755753.2755805openalex-snapshot

Architecture description language based retargetable symbolic execution

inferred← citeshttps://doi.org/10.6028/jres.123.005openalex-snapshot

A Software Assurance Reference Dataset: Thousands of Programs With Known Bugs

inferred← citeshttps://doi.org/10.6028/nist.ir.8113openalex-snapshot

SATE V Ockham Sound Analysis Criteria

inferred← citeshttps://doi.org/10.6028/nist.ir.8165openalex-snapshot

Impact of code complexity on software analysis

inferred← citeshttps://doi.org/10.6028/nist.ir.8165-upd1openalex-snapshot

Impact of code complexity on software analysis

inferred← citeshttps://doi.org/10.6028/nist.tn.1995openalex-snapshot

Juliet 1.3 test suite: changes from 1.2

inferred← citeshttps://doi.org/10.70675/19d4cfb4za969z40a3z8c79z4060c26a7e44openalex-snapshot

On the security risks of open source consumption : vulnerabilities and supply-chain attacks in the era of open-source-based software development

inferred← citeshttps://doi.org/10.70675/a1bf0010z9409z4db6z9d11z65d91d07944aopenalex-snapshot

Identification automatique des vulnérabilités de sécurité dans les systèmes logiciels

inferred← citeshttps://doi.org/10.70675/fd130b08zf885z497dz97ddzc016e287b8eeopenalex-snapshot

Vers la recherche de vulnérabilités jour-1 à partir de signatures sémantiques de correctifs

inferred← citeshttps://doi.org/10.7840/kics.2013.38c.5.420openalex-snapshot

Validation Test Codes Development of Static Analysis Tool for Secure Software

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.