yusuke1997/dblp-id-title huggingface dataset:
A Dynamic Interest-Aware Message-Passing GCN for Recommendation
Iterative Path Clustering for Software Fault Localization
A Tobit traceless Kalman filter technique TUKF: handle truncated data
Assessing Security to Compare Architecture Alternatives of Component-Based Systems
Pull Request Prioritization Algorithm based on Acceptance and Response Probability
Extend Rchecker for Accurate Analysis of Real Embedded Projects
Towards Automation in Information Security Management Systems
Solar Panel Fault Detection: Applying Convolutional Neural Network for Advanced Fault Detection in Solar-Hydrogen System at University
An Input Space Modeling Method for Software Testing Considering Timing
DDCAN: Delay-Time Deliverable CAN Network
An Empirical Study of Utilization of Imperative Modules in Ansible
Research on Improved Algorithm of UAV Swarm Target Search Strategy Based on Freshness and Target Density
Random Border Mirror Transform: A Diversity Based Approach to an Effective and Efficient Mirror Adaptive Random Testing
Advancing Forensic Examination of Cyber Predator Communication Through Machine Learning
Investigating Reproducibility in Deep Learning-Based Software Fault Prediction
Reliability-Disguised Attacks on Social Network to Accelerate Fake News Dissemination
Potential Component Leaks in Android Apps: An Investigation into a New Feature Set for Malware Detection
Resilience Mechanism for Trustworthy Workflow Management System
Quality Evaluation of Digital Soft IP Core for FPGA System
UT-LDA Based Similarity Computing in Microblog
Surveys on Knowledge Management and Knowledge Creation in a Chinese Research University
Reliability Evaluation of FPGA with Common Cause Failure in Multi-Phase Mission
Simulation Design of Shop Material Supply Based on Queuing Theory
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
A Similarity Integration Method based Information Retrieval and Word Embedding in Bug Localization
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties
Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps
A New Recognition Method for M-QAM Signals in Software Defined Radio
Multi-objective Search for Model-based Testing
Contextual Profiling of Stack Overflow Java Code Security Vulnerabilities Initial Insights from a Pilot Study
ECIA: Elaborate Change Impact Analysis Based on Sub-Statement Level Dependency Graph
An Adaptive Random Test Method based on Variable Probability Density Function with Particle Swarm Optimization
A Review of Reliability, Vulnerability and Resilience Analysis of Smart Grid Based on Complex Network
Semantic-based false alarm detection approach via machine learning
Metamorphic Testing of Image Region Growth Programs in Image Processing Applications
Genetic Algorithm Based EFSM Regression Test Sequence Generation
Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security
Capacity and Time Reliability Evaluation for Time-Varying Networks
Object Removal for Testing Object Detection in Autonomous Vehicle Systems
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol
Platform Software Reliability for Cloud Service Continuity - Challenges and Opportunities
Space-Based Unidirectional Networks and Resiliency
Context-Aware Program Simplification to Improve Information Retrieval-Based Bug Localization
Quality Assurance for Machine Learning - an approach to function and system safeguarding
Stock Prediction with Stacked-LSTM Neural Networks
Research on Physical Layer Security of Cognitive Radio Network Based on RF-DNA
Hybrid Attention Based Spatiotemporal Neural Network in Lifetime Prognostics of Lithium Batteries
Research on the Impact of Consumer Review Sentiments from Different Websites on Product Sales
C-Rusted: Safe and Secure Programming in Standard C
Exploring Exposure Bias in Recommender Systems from Causality Perspective
An Improved Test Case Generation Method based on Test Requirements for Testing Software Component
Investigating Trend/Cyclic/Clustering Decomposition in Software Fault Detection
Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements
The Colour Temperature Intensity Adjusting Model for Improving Naked Eye 3D Holographic Computer Projection
Emergency Travel Plan Generation Based on Cybernetics
Compressing Uniform Test Suites Using Variational Autoencoders
24th IEEE International Conference on Software Quality, Reliability and Security, QRS 2024, Cambridge, United Kingdom, July 1-5, 2024
GrasP: Graph-to-Sequence Learning for Automated Program Repair
A Review of the Applications of Heuristic Algorithms in Test Case Generation Problem
Application and Development Prospect of Monitoring Screen based on Three.js Unit Equipment Control System
Android privacy protocol and permission consistency testing
Familial Graph Classification of Malware based on Structured API Call Sequences
Knowledge Graph Question Answering based on Contrastive Learning and Feature Transformation
Detecting and Preventing Program Inconsistencies under Database Schema Evolution
Cast Away: On the Security of DLNA Deployments in the SmartTV Ecosystem
FMUZZ: A Novel Greybox Fuzzing Approach based on Mutation Strategy Optimization with Byte Scheduling
22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
Detecting Faults vs. Revealing Failures: Exploring the Missing Link
Evaluation of Judicial Imprisonment Term Prediction Model Based on Text Mutation
Enhanced Privacy Protection in Graph Neural Networks Using Local Differential Privacy
Using Software Development Artifacts to Improve the Software Development Process
A system for Evaluating the Robustness of Embedded Intelligent Chips and Models
Leveraging Conditional Statement to Generate Acceptance Tests Automatically via Traceable Sequence Generation
21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021
Empirical Evaluation of Cross-Release Effort-Aware Defect Prediction Models
21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021
Vulnerability Prediction and Assessment Using Software Product Metrics and Machine Learning: What Does Not Work
P2P-Based Full Digital Co-simulation and Verification System Design
Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python
Quality Measurement of Judgment Documents
Online Prediction of Server Crash Based on Running Data
Is Mutation Analysis Effective at Testing Android Apps?
Implementing Traceability Repositories as Graph Databases for Software Quality Improvement
Automated Testing of Android Applications Integrating Residual Network and Deep Reinforcement Learning
Do Agents Behave Aligned with Human Instructions? - An Automated Assessment Approach
Research on the Integration Method of Software Static Testing Tools Based on Machine Learning
How Fast and Effectively Can Code Change History Enrich Stack Overflow?
Process Metrics Are Not Bad Predictors of Fault Proneness
Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language
Wuli-Shili-Renli-Jili System Approach and Its Application in Large Model Value Alignment
Functional Dependency Detection for Integration Test Cases
Test Case Reuse Based on Software Testing Knowledge Graph and Collaborative Filtering Recommendation Algorithm
Exploratory Data Analysis of Fault Injection Campaigns
A Multi-Layer Fault Triggering Framework based on Evolutionary Strategy Guided Symbolic Execution for Automated Test Case Generation
Energy Optimization and Fault Tolerance to Embedded System Based on Adaptive Heterogeneous Multi-Core Hardware Architecture
A Complex Network Evolution Model Based on Microscopic Characteristic of Nodes
Combinatorial and MC/DC Coverage Levels of Random Testing
Metamorphic Testing for Autonomous Driving Systems in Fog based on Quantitative Measurement
Automated Performance Deviation Detection across Software Versions Releases
Commit Classification via Diff-Code GCN based on System Dependency Graph
An Empirical Study of Highly Impactful Bugs in Mozilla Projects
Contextual Operationalization of Metrics as Scores: Is My Metric Value Good?
WaterJam: An Experimental Case Study of Jamming Attacks on a Water Treatment System
Behavioral System Using SVM and CNN for Karate Injury Detection and Rehabilitation Process
Efficient Detection of Selfish Mining Attacks on Large-Scale Blockchain Networks
Methods for Removing Artifacts from EEG signals: A review
Complicated Causality Discovering and Presenting Based on Enterprise Knowledge Management
W-SRAT: Wavelet-based Software Reliability Assessment Tool
Convergence based Evaluation Strategies for Learning Agent of Hyper-heuristic Framework for Test Case Prioritization
Software Defect Prediction via Multi-Channel Convolutional Neural Network
Equivalence Checking for Hybrid Control Systems Modelled in Simulink
Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers
The State of Practice on Virtual Reality (VR) Applications: An Exploratory Study on Github and Stack Overflow
A Hybrid Interface Recovery Method for Android Kernels Fuzzing
Natch: Detecting Attack Surface for Multi-Service Systems with Hybrid Introspection
Repairing Over-Constrained Models for Combinatorial Robustness Testing
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications
Quick Solutions to Production Problems in Manufacturing Enterprises: A Knowledge Perspective
An Empirical Study towards Characterizing Neural Machine Translation Testing Methods
Design Fractals: A Graphical Method for Evaluating Binary Covering Arrays
Enhancing Grid-Connected PV System Performance: Loss Analysis and Efficiency Improvement Strategies
Research on Privacy Protection Technology for Data Publishing
QoS-Aware Resource Management in SDN-Based InterClouds: A Software Cybernetics Perspective
Applying Mobile Technology for Developing Cultural and Creative Products in Tourism: A Case Study on The Forbidden City
Multi-Chain Model and Cross-Chain Communication Protocol for Financial Transactions
On Collecting Onion Server Fingerprints and Identification of Their Operators
Graphical Probability Model and Heritage Tourism Routine Design
Activity-Based Model Synchronization and Defects Detection for Small Teams
Automated Repair of Java Programs with Random Search via Code Similarity
The Legitimacy Detection for Multilevel Hybrid Cloud Algorithm Based Data Access
Using Data Abstraction for Clustering in the Context of Test Case Generation
Using Eye Tracking Technology to Analyze the Impact of Stylistic Inconsistency on Code Readability
Using Case Facts to Predict Accusation Based on Deep Learning
Hovac: A Configurable Fault Injection Framework for Benchmarking the Dependability of C/C++ Applications
Enhancing Traffic Safety at Unsignalized Intersections Through Constraint-Chain Based Cooperative Control
DG-Trans: Automatic Code Summarization via Dynamic Graph Attention-based Transformer
Verification Methods for Secure and Reliable SoPC Systems
Efficiently Testing Intelligent Transportation System in Simulation Environment
iCruiser: Protecting Kernel Link-Based Data Structures with Secure Canary
Automatic Modulation Recognition of Digital Signals Based on Fisherface
GPU and Multiprocessing Parallel Implementations for the Elimination of Finite State Machine Mutants
The Failure Behaviors of Multi-Faults Programs: An Empirical Study
An Approach to Automatic Test Case Generation for Unit Testing
Improving Quality of Counterexamples in Model Checking via Automated Planning
Industrial Process Fault Detection with Multi-View Feature Fusion Attention Mechanism Assisted Autoencoder Network
CSP based Formal Modeling and Verification of Behavior Trees
Modeling and Simulation of Social E-commerce User Behavior based on Social E-commerce Simulator
Mining Cryptography Misuse in Online Forums
Research on Active Detection Methods for Video Anomaly Events Based on Concept Semantics
Enhancement of Robustness for Graph Neural Networks in AI Systems
Towards a Coherent Terminology and Taxonomy for Evaluating Safety via Testing
Development of a Web System for Detecting Bugs in Probabilistic Programs
Research on Software Failure Analysis and Quality Management Model
PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively
DeepDTS: Diverse Test Selection Method for Deep Neural Networks
Design of a Networked Embedded Software Test Platform Based on Software and Hardware Co-simulation
Question Answering Algorithm for Grid Fault Diagnosis based on Graph Neural Network
RumFuzz: Coverage-guided Greybox Fuzzing with Reasonable Use of Memory
Research on the Construction of a Multimodal Cognitive Graph of Textile and Clothing
B-SEFI: A Binary Level Soft Error Fault Injection Tool
Learning and Adaptive Testing of Nondeterministic State Machines
Avoiding the Familiar to Speed Up Test Case Reduction
Multimodal Multi-Objective Test Data Generation Method based on Particle Swarm Optimization
Correlation between the Distribution of Software Bugs and Network Motifs
SMARTKT: A Search Framework to Assist Program Comprehension using Smart Knowledge Transfer
A Test Data Generation Approach for Automotive Software
Modulation Recognition of Digital Signal Based on Deep Auto-Ancoder Network
A Preliminary Analysis and Case Study of Feature-Based Software Customization (Extended Abstract)
AI Ethics in Healthcare - A Survey
Traffic Matrix Estimation Based on Incomplete Network Link Loads Measurement
A Fuzzy AHP-based Quantitative Framework to Prioritize the Crowd-Based Requirements
UI Components Recognition System Based On Image Understanding
MiSim: A Simulator for Resilience Assessment of Microservice-Based Architectures
D-Cube: Tool for Dynamic Design Discovery from Multi-threaded Applications Using PIN
Search Over Encrypted Cloud Data With Secure Updates
ADVRET: An Adversarial Robustness Evaluating and Testing Platform for Deep Learning Models
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study
A Framework for Progressive Regression Testing PLC Programs
A Fault Diagnosis Expert System for Flight Control Software Based on SFMEA and SFTA
An Ontology-Based Framework for Medical IoT Forensic Evidence
BCoV: a covergence of blockchain and IoV
Approaching Another Tourism Recommender
Target Selection for Test-Based Resource Adaptation
Collaborative Simulation Testing with State Behavior Tree
CFIWSE: A Hybrid Preprocessing Approach for Defect Prediction on Imbalance Real-World Datasets
Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems
IRRT: An Automated Software Requirements Traceability Tool based on Information Retrieval Model
Simulation Testing of Fault-Tolerant CPS Based on Hierarchical Adaptive Policies
The Comparative Evaluation of Test Prioritization Approaches in an Industrial Study
On Symbolic Execution of Decompiled Programs
A Multi-Objective Learning Method for Building Sparse Defect Prediction Models
Test Generation for Mutation Testing by Symbolic Execution
Cross-Project Aging Related Bug Prediction
Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking
Branch Sequence Coverage Criterion for Testing-Based Formal Verification with Symbolic Execution
Abstract Syntax Tree for Method Name Prediction: How Far Are We?
Research on fast generation and simulation technology of air traffic flow in control sector
Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges
Detecting Vulnerable OAuth 2.0 Implementations in Android Applications
Test Case Priority Ranking Method Based on Greedy Algorithm
An Adjustable Risk Assessment Method for a Cloud System
Rapid Accuracy Loss Evaluation for Quantized Neural Networks Using Attention-Based Multifactor Modeling
Automated Generator for Complex and Realistic Test Data
A FANETs System for Autonomous Aerocraft Flying Formation
Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
On the Effectiveness of Large Language Models in Statement-level Code Summarization
Improving Faulty Interaction Localization Using Logistic Regression
Are All Duplicates Value-Neutral? An Empirical Analysis of Duplicate Issue Reports
Multi-Radar Cooperative Task Planning using NSGA-II Algorithm
Reliability Evaluation of Classroom Teaching with MCI in College Based on the DFT Model
An Analysis of Utility for API Recommendation: Do the Matched Results Have the Same Efforts?
Parameter Estimation of Change Point Models based on the Discrete and Continuous Sampler
Prototype Algorithm: Number Chain Features in Spatial Similarity Calculation of Time-Series Graph Sources
Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing
Metamorphic Testing of a Superficial Area Calculation Program
Software Reliability Analysis of NASA Space Flight Software: A Practical Experience
Reliability Analysis of Phased-Mission K-out-of-n Systems with Cascading Effect
Interpretation Area-Guided Detection of Adversarial Samples
WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts
Using Segment-Based Alignment to Extract Packet Structures from Network Traces
Progress of Word Embedding in Code Generation
2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Companion, Vancouver, BC, Canada, August 3-5, 2015
Some Thoughts on Model-Based Test Optimization
Using $\mu \text{Bert}$ to Improve Mutation-Based Fault Localization for Novice Programs
Predictability of Resource Intensive Big Data and HPC Jobs in Cloud Data Centres
BIM Design for Reconstruction of Old Factory Building based on Sustainable Perspective
Anomaly Detection in Encrypted Identity Resolution Traffic based on Machine Learning
Recognition Method of Software Defined Radio Signal Based on Evidence Theory and Interval Grey Relation
Improving Spectrum-Based Fault Localization for Spreadsheet Debugging
Blockchain-Based Proof of Location
Bug Patterns in Probabilistic Programming Systems
Reliability-Performance-Energy Joint Modeling and Optimization for a Big Data Task
RUSPATCH: Towards Timely and Effectively Patching Rust Applications
An API Development Model for Digital Twins
Research on Intelligent Relic Interpretation System Based on a Large Language Model
REST API Fuzzing by Coverage Level Guided Blackbox Testing
LMSA: Lightweight Multi-Scale Attention Model for Garbage Detection Based on YOLOV5
Study On The Connection Rate Of LEO Communication Satellite
Semantic Log Partitioning: Towards Automated Root Cause Analysis
A Programmable CNN Architecture and Its Hardware-Software Co-design Approach for Image Processing and Stimulating Visual Illusions
Service Oriented Resilience Strategy for Cloud Data Center
Attribute-Based Non-Interactive Privacy-Protected Crowd-Sourcing Software Testing Engineer Selection Mechanism
Study on Automated Change Impact Domain Analysis in Regression Testing
AI Extension of SQuaRE Data Quality Model
Automatical Segmentation of Pelvic Organs After Hysterectomy by using Dilated Convolution U-Net++
Process-variation Effects on 3D TLC Flash Reliability: Characterization and Mitigation Scheme
Experiment on the Effectiveness of Air-Space Numerical Intelligence Modeling for National Security Strategic Information Needs
An Enhanced Handover Scheme Adopting Mobile Relays in a LTE-A Network for High-Speed Movements
Extra (component) connectivity and diagnosability of bubble sort networks
Toward Summary Extraction Method for Functional Topic
Weighted Control Flow Subgraph to Support Debugging Activities
Dynamic Detection of AsyncTask Related Defects
A Survey of the Use of Test Report in Crowdsourced Testing
A Computational Brain Colour Response Model for Achromatopsia
Design and Implementation of OOM Module based on Rust
Automated Synthesis of Quantum Circuits using Neural Network
A Statistical Analysis of Operational Profile Driven Testing
A Program Slicing-Based Bayesian Network Model for Change Impact Analysis
Towards Transformation from UML to Event-B
Portable Safety Voice Information Recording Equipment
MisconfDoctor: Diagnosing Misconfiguration via Log-Based Configuration Testing
Modeling of GPGPU architectures for performance analysis of CUDA programs
SA-P2T: Sparse Attention-based Pyramid Pooling Transformer Network for Object Detection
An Unsupervised Parameter Grouping Algorithm for Combinatorial Testing
Bias Analysis in Language Models using An Association Test and Prompt Engineering
A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System
Applying Ordered Technique Set for Fault Localization
QuantCloud: A Software with Automated Parallel Python for Quantitative Finance Applications
TokenAuditor: Detecting Manipulation Risk in Token Smart Contract by Fuzzing
Enhancing Cross-Project Just-In-Time Defect Prediction with Active Deep Learning
DeepBoundary: A Coverage Testing Method of Deep Learning Software based on Decision Boundary Representation
PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method
A Cluster-Based Hybrid Feature Selection Method for Defect Prediction
Intelligence and Emotion Application Framework in Interactive Art Design
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking
Comparing and Evaluating CVSS Base Metrics and Microsoft Rating System
Research on Heterogeneous Cloud Test Platform Based on Elastic Scaling Mechanism
Opportunistic Transmission Mechanism Based on SI in Mobile Crowd Sensing Networks
On the Effect of Counters in Guard Conditions When State-Based Multi-objective Testing
Change-Based Test Script Maintenance for Android Apps
Generating Evaluation Criteria of Domain-Specific Large Language Model Using Word Vector Clustering
An Emotion-Oriented System for Creativity Stimulation
Satellite Imaging Task Planning using Particle Swarm Optimization and Tabu Search
Performance Profiling of Federated Learning Across Heterogeneous Mobile Devices
A Novel Approach for Traveling Salesman Problem Via Probe Machine
On the Similarities between Blockchains and Merkle-Damgård Hash Functions
An Approach for Authenticating Smartphone Users Based on Histogram Features
A Method of Network Attack Named Entity Recognition based on Deep Active Learning
Software Simulation Error Injection in RAM on RISC-V of PolarFire FPGA
Security Risk Assessment Methodologies in The Internet of Things: Survey and Taxonomy
A Proposal for a New Way of Classifying Network Security Metrics: Study of the Information Collected through a Honeypot
20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020
Nonlinear Dynamic Analysis of Air Traffic Flow at Different Temporal Scales: Nonlinear Analysis Approach versus Complex Networks Approach
Security by Insurance for Services
The Man-Land Coupling Algorithm: A Priori Experiment with Remote Sensing Data to Facilitate the Revitalization of Great Sites Based on Complex Cognition
Research on fault diagnosis in early stage of software development based on Object-oriented Bayesian Networks
DURFEX: A Feature Extraction Technique for Efficient Detection of Duplicate Bug Reports
Specifying and Model Checking Workflows of Single Page Applications with TLA +
Fuzzing of Mobile Application in the Banking Domain: a Case Study
A Resource Optimization Algorithm of Cloud Data Center Based on Correlated Model of Reliability, Performance and Energy
Identifying Influential Nodes in Complex System from Multiscale Complex Network Perspective
Efficient Verification of Multi-Agent Systems Through Parallel
Industrial Wireless Sensor Network Topology Non-Uniform Node Optimization Deployment
Towards a Bayesian Network Model for Predicting Flaky Automated Tests
Unsupervised Anomaly Detection Approach for Multivariate Time Series
Automatic Test Transition Paths Generation Approach from EFSM Using State Tree
Conceptualizing the Secure Machine Learning Operations (SecMLOps) Paradigm