yusuke1997/dblp-id-title huggingface dataset:
Local filter-based sequential and distributed fusion state estimation for nonlinear multi-sensor systems with asynchronously correlated noises
A UTP Refinement Model of the STeC Language
A Software Bug Fixing Approach Based on Knowledge-Enhanced Large Language Models
A Model-based RCM Analysis Method
A Natural Language-enabled Virtual Assistant for Human-Robot Interaction in Industrial Environments
Formal Analysis of Control Software for Cyber-Physical Systems
Research on Abnormal Behavior Detection Technology of Launch Vehicle Controlled Network
Predicting Vulnerable Components via Text Mining or Software Metrics? An Effort-Aware Perspective
Harmonization of Security Standards for Embedded Systems in a Comprehensive Metamodel: The Security Abstraction Model
Mission Assurance: Beyond Secure Processing
Combinatorial Testing of Full Text Search in Web Applications
An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results
A Test Scenario Generation Method for High Requirement Coverage by using KAOS Method
How Do Developers Toggle Breakpoints? Observational Studies
Mutation Testing for Artificial Neural Networks: An Empirical Evaluation
Finite Time-Based Adaptive Terminal Sliding Mode Fault-Tolerant Control for Port Automated Guided Vehicles
Applying Combinatorial Testing in Industrial Settings
Assessing the Quality of Low-Code and Model-Driven Engineering Platforms for Engineering IoT Systems
An electric power forecasting method based on dual time series attention mechanism neural network structure
19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019
Is Predicting Software Security Bugs Using Deep Learning Better Than the Traditional Machine Learning Algorithms?
Reliable Life Prediction and Evaluation Analysis of Lithium-ion Battery Based on Long-Short Term Memory Model
Portable Intelligent ECG Monitoring System Based on End-Edge-Cloud Architecture
An Object-Oriented Simulation Model for Reliability of PMS with Time Redundancy
Toward Understanding Bugs in Swift Programming Language
Generating Adversarial Examples Using Parameter-Free Penalty Method
Runtime-Environment Testing Method for Android Applications
Employing CNN with Spatial Pyramid Pooling for Predicting Software Defects through Image Analysis
Improving Software Modularization Quality Through the Use of Multi-Pattern Modularity Clustering Algorithm
Towards a Comprehensive Dataset for Next-Day Wildfire Prediction
Technical Usability Assessment of Security Analysis Tools for Ethereum Based Smart Contracts
Preset Emotional Experience: Adaptive Detection and Complexity Interpretation of Implicit Order in Facial Emotion Recognition Calculations
Circuit Reliability Analysis Using Signal Reliability Correlations
Towards Improving Multiple Authorship Attribution of Source Code
Mining Event Logic Graph from Open Q&A Site for Automated Program Repair
Testing Scientific Software with Invariant Relations: A Case Study
A study on the impact of pre-trained model on Just-In-Time defect prediction
The Challenge of Reproducible ML: An Empirical Study on The Impact of Bugs
A New Model for Mining Superior Uploaders on Bilibili
Graph-Based Salient Class Classification in Commits
Algorithm Analysis of Sparse Matrix Multiplication
Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures
Feature Difference based Misclassified Sample Detection for CNN Models Deployed in Online Environment
Reuse of Test Case based on Attributes Weight Optimization
Model-Driven Evaluation of Software Architecture Quality Using Model Clone Detection
Formalization of Operational Domain and Operational Design Domain for Automated Vehicles
An Automatic Analysis Framework of Detailed-level Software Fault Modes and Effects Based on Code Model
Mining Potential Information for Multiclass Microarray Data Using Centroid-Based Dimension Reduction
Improved Mechanism and Emotional Expression System of A Panda-type Emotional Robot
High Accurate, Low Latency Conversion of Spiking Neural Networks with BLIF Neurons
Tag Recommendation for Cultural Resources
Effectiveness Evaluation of UAVs Search in Urban Environments
Detecting Attack Surface With Full-System Taint Analysis
Different Control Methods for FES Cycling: Review
An Attributes-Based Allocation Approach of Software Trustworthy Degrees
Love the Way You Lie: Unmasking the Deceptions of LLMs
An Ensemble Feature Selection Method Based on Symmetrical Uncertainty and Correlation for Software Defect Prediction
Parameter Description Generation with the Code Parameter Flow
The bidirectional safety analysis & validation framework of system and software with its techniques and applications
Crowd Intelligence-Based Interactive Creation Platform
10 Years of IoT Malware: A Feature-Based Taxonomy
Towards Ex Vivo Testing of MapReduce Applications
Open Source Value Chains for Addressing Security Issues Efficiently
Dependability Analysis and Verification Technology of Artificial Intelligence Software
Pain Pickle: Bypassing Python Restricted Unpickler for Automatic Exploit Generation
Search-Based Automated Program Repair: A Survey
A Method for Developing Algorithms for Assessing Cyber-Risk Cost
Quantifying the Effectiveness of Mutant Sets
How Does the Dependence between Inspectors Impact Capture-Recapture Estimation? An Empirical Study
MMFC-ART: a Fixed-size-Candidate-set Adaptive Random Testing approach based on the modified Metric-Memory tree
Question Classification Method in Disease Question Answering System Based on MCDPLSTM
Histogram Publication with Shuffled Differential Privacy
Reports Aggregation of Crowdsourcing Test Based on Feature Fusion
Combinational Metamorphic Testing for Deep Learning based Target Detection CPS Systems
Public Cultural Services Recommendation System Architecture
Leveraging Social Media Sentiments and Ethical Signals for NFT Valuation
Optimal Test Case Generation for Simulink Models Using Slicing
An Analysis of Complex Industrial Test Code Using Clone Analysis
On Safety Assurance of Symbolic Artificial Intelligence
Access Control in Water Distribution Networks: A Case Study
GAN-Based Privacy-Preserving Unsupervised Domain Adaptation
Focus on New Test Cases in Continuous Integration Testing based on Reinforcement Learning
Automatic Labeling of SDN Controller Defect Text based on Neural Topic Model
Mutation Testing based Safety Testing and Improving on DNNs
Uncertainty-Wise Model Evolution with Genetic Programming
Resource Allocation for UAV-Assisted MIMO-NOMA Wireless Caching Networks
Spatio-Temporal Knowledge Graph for Meteorological Risk Analysis
Research on CodeCache Management Strategy Based on Code Heat in Dynamic Binary Translator
Software Reliability as User Perception: Application of the Fuzzy Analytic Hierarchy Process to Software Reliability Analysis
Centralization or Decentralization? How Can Digital Transformation Empowers Firm Performance?
Side Information-Aided Handover Strategy for Air-Ground Integrated Vehicular Networks
Research on Network Malicious Code Detection and Provenance Tracking in Future Network
Software Defect Prediction via Convolutional Neural Network
Shortest routing algorithm of the Exchanged Crossed Cube based on adjacent subcube group
DDoS Intrusion Detection Through Machine Learning Ensemble
Incorporating Android Code Smells into Java Static Code Metrics for Security Risk Prediction of Android Applications
Using Crash Frequency Analysis to Identify Error-Prone Software Technologies in Multi-System Monitoring
Predicting Remaining Useful Life with Uncertainty Using Recurrent Neural Process
Voltage Prediction and Fault Detection by using Model Fusion Strategy for Lithium-ion Batteries
Machine Learning Based Hybrid Behavior Models for Android Malware Analysis
Performance Optimization for Information Sharing Process of BlockIoV Based on Multi-Objective Particle Swarm
An Effective Low-Dimensional Software Code Representation using BERT and ELMo
A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models
A Hybrid Automata Based on Event Algebra for CPS Modelling
Which API is Faster: Mining Fine-grained Performance Opinion from Online Discussions
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors
Lessons Learned from Developing Permissioned Blockchains
Modeling and Analyzing Smart Contracts using Predicate Transition Nets
Simulation of Sensor Spoofing Attacks on Unmanned Aerial Vehicles using the Gazebo Simulator
Metamorphic Testing for Traffic Light Recognition in Autonomous Driving Systems
Creative Computing based Experimental Study of Somatosensory Games for Promoting Intention Understanding
An Empirical Study to Identify Software Aging Indicators for Android OS
Construction of Urban Governance Portrait Based on Space-Air-Ground Integrated Digital Intelligence Pedestal
Requirements-Driven Logic Testing for Deep Neural Networks
2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016
Smart Scenic Area Construction Framework for Meeting Demands of Multiple Interests Based on Global Tourism Architecture: An Approach to Educating Smart Scenic Area Construction Framework
A Smart Contract Vulnerability Detection Model Based on Multi-Type Features and Pre-Training Techniques
Research on Demand Analysis Model of Hot Product in Food Industry
The Study on the Blocking Time Reduction of the IDS/SON Cooperative Firewall System
A Distance-Based Dynamic Random Testing Strategy for Natural Language Processing DNN Models
Security Resilience - Considerations from the Application of the Functional Resonance Method (FRAM) to Information Security Incidents
An FPGA Design and Implementation of 4G Network Security Algorithm Based on SNOW3G
Cross-Entropy: A New Metric for Software Defect Prediction
Highly-Available Applications on Unreliable Infrastructure: Microservice Architectures in Practice
Metamorphic Relations Identification on Chebyshev Rational Approximation Method in the Nuclide Depletion Calculation Program
Detection Software Content Failures using Dynamic Execution Information
Code Quality Evaluation in IT Communities Based on Sentiment Analysis of User Comments
Symbolic Execution with Test Cases Generated by Large Language Models
Mucha: Multi-channel based Code Change Representation Learning for Commit Message Generation
Reflect on the Application of Human-Machine Cooperation Technology in Film Art Creation in Virtual Production Era
Dynamic Interval-based Watermarking for Tracking down Network Attacks
An Approach for Ensuring the Privacy in Smart Contracts
Automated Grey-Box Testing of Microservice Architectures
Importing Eye Tracking Regarding with Human Aspects in Software Quality
Towards Understanding Bugs in Go Programming Language
Towards Prioritizing Vulnerability Testing
TAF: a Tool for Diverse and Constrained Test Case Generation
Task Decision-Making for UAV Swarms Based on Robustness Evaluation
Classification Method of Ethereum Smart Contracts Based on Statistical Model Checking
DeepRTest: A Vulnerability-Guided Robustness Testing and Enhancement Framework for Deep Neural Networks
Vulnerability Analysis through Interface-based Checker Design
A Traffic Domain Classification Method Based On Large Model Multiple Optimization Strategies Neural Network
Personalized Recommender System for Digital Cultural Resources
Transferable Unique Copyright Across AI Model Trading: A Blockchain-Driven Non-Fungible Token Approach
Experimental Analysis and Comparison of Load Prediction Algorithms in Cloud Data Center
Analysis of Velocity Deviation of Satellite-Rocket Separation and Orbit Accuracy of Satellite Caused by Multiple Factors
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing
Systematic Transformation Method from UML to Event-B
Reliability Analysis of Phased-Mission System in Irrelevancy Coverage Model
intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program
A Faceted Classification Scheme for Change-Based Industrial Code Review Processes
Human-Machine Collaborative Testing for Android Applications
MRM-LOOP: A Dynamic Visual Loop Closure Detection Algorithm Based on Motion Region Matching
CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust
MAD: One-Shot Machine Activity Detector for Physics-Based Cyber Security
Mining Potential Defect Patterns in Unmanned Systems from A Large Amount of Open Source Code
Sentiment Analysis of Comment Texts Based on Deep Learning
19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2019, Sofia, Bulgaria, July 22-26, 2019
Pricing Decision and Greenness Analysis of Green Food in Dual-Channel Supply Chain with Fairness Concern
Ensuring the Reliability of AI Systems through Methodological Processes
API Parameter Recommendations Made Effective
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol
Modeling and Verifying Intelligent Unit Transmission Protocol Using CSP Model Checker PAT
Reliability Modeling of Two-Phase Gamma Degradation Process
Designing Deep Neural Net Controller for Quadrotor Attitude Stabilization
FESR: A Framework for Eliciting Security Requirements Based on Integration of Common Criteria and Weakness Detection Formal Model
TTAG+R: A Dataset of Google Play Store's Top Trending Android Games and User Reviews
Robustness of Non-homogeneous Gamma Process-Based Software Reliability Models
Towards a Testing Framework with Visual Feedback for Actor-Based Systems
Test Case Prioritization Using Adaptive Random Sequence with Category-Partition-Based Distance
How Does Node Resilience Effect on Complex Networks?
Quantum Random Access Codes with Mutually Unbiased Bases in Three-Dimensional Hilbert Space
Log Anomaly Detection Method based on Hybrid Transformer-BiLSTM Models
A Fault Propagation Model for Embedded Software
Curious SDN for network attack mitigation
An Empirical Study of Developer Quality
How Do Defects Hurt Qualities? An Empirical Study on Characterizing a Software Maintainability Ontology in Open Source Software
HARRD: Real-time Software Rejuvenation Decision Based on Hierarchical Analysis under Weibull Distribution
Adaptive System for Autonomous Driving
Risk Evaluation of the Destination Port Logistics based on Self-Organizing Map Computing
PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing
Analyzing Structural Security Posture to Evaluate System Design Decisions
Heterogeneous Defect Prediction through Joint Metric Selection and Matching
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs
A Method of Personalized Tag Prediction Based on Graph Structure
Raising the Quality of Bug Reports by Predicting Software Defect Indicators
Git Merge Conflict Resolution Leveraging Strategy Classification and LLM
Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach
A Clustering-based Framework for Highly Imbalanced Fault Detection with the Applications on High-Speed Trains
MQP: Mutants Quality Prediction for Cost-Effective Mutation Testing
Managing Client-Specific Customised Functions in Multi-Tenant Software-as-a-Service
Using TDL for Standardised Test Purpose Definitions
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata
Malware Behavior Ontology for Digital Evidence
Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS
Software Component Reliability Evaluation Method Based on Characteristic Parameters
Diagnosing SDN Network Problems by Using Spectrum-Based Fault Localization Techniques
Research on Micro Vibration Control of Satellite Flexible Structure Using Piezoelectric Variable Stiffness Actuator
Dynamic Access Control with Administrative Obligations: A Case Study
TrustAuction: A TEE based Privacy Protection Framework for Auction Contracts
cf-TDFM: A Framework for Limiting Fault Infusion Attacks on Deep Neural Networks
Identification of Security Related Bug Reports via Text Mining Using Supervised and Unsupervised Classification
Towards LLM-Enhanced Digital Twins of Intelligent Computing Center
Profiling Android Vulnerabilities
SQDroid: A Semantic-Driven Testing for Android Apps via Q-learning
Towards Understanding Interactive Debugging
Random Test Generation from Regular Expressions for Graphical User Interface (GUI) Testing
OpenMP Program Verification Based on Bounded Model Checking
Precondition Calculation for Loops Iterating over Data Structures
MicroKGCL: A Knowledge Graph for Root Cause Localization of Feedback Issues in Microservices
Introspection for ARM TrustZone with the ITZ Library
ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs
A Fine-Grained Emotion Prediction Method Based on Large Language Models
An Automated Testing Platform for Mobile Applications
A Survey of the Application of Combinatorial Testing
A Framework for Scanning Privacy Information based on Static Analysis
Improving MC/DC and Fault Detection Strength Using Combinatorial Testing
A Deep Learning-Based Method for Identifying User Story Semantic Conflicts
Case Study: Project Management Using Cross Project Software Reliability Growth Model
Qualitative Software Reliability Requirements: Concept, Classification and Practical Elicitation Methods
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots
A Fault Localization Method Based on Conditional Probability
Research on airspace security risk assessment technology based on knowledge Graph
Information Security Considerations for Wireless Infusion Pumps
Dynamic Comprehensive Risk Assessment of Coal Mill Based on CNN-LSTM and Analytic Hierarchy Process
An Approach of Locating Minimal Failure-Causing Schema for Boolean-Specifications
Outfit Compatibility Model with Multi-Modal Semantic Interaction Learning
The PIT-Cerberus Framework: Preventing Device Tampering During Transit
A Sentiment Classification Model Based on Bi-directional LSTM with Positional Attention for Fresh Food Consumer Reviews
VSBFL: Variable Value Sequence Based Fault Localization for Novice Programs
Using Mutant Stubbornness to Create Minimal and Prioritized Test Sets
Scriptless GUI Testing on Mobile Applications
A Data-Driven Smart Fault Diagnosis Method for Electric Motor
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach
Could We Predict the Result of a Continuous Integration Build? An Empirical Study
The Effect of Personality on Team Performance: An Interpersonal Knowledge Interaction Perspective
An Improved Local Search Algorithm with Pruning for Satellite Data Transmission Scheduling Problem
Application of Combinatorial Testing to Quantum Programs
A Practical Solution Against Business Email Compromise (BEC) Attack using Invoice Checksum
Criticality Analysis Method Based on Integrated Importance Measure
Deep Learning Fuzz Testing Methods for Unstructured Case
MTPI: Multimodal Trajectory Prediction for Autonomous Driving via Informer
Towards Extending the Range of Bugs That Automated Program Repair Can Handle
Face Recognition Fairness Assessment based on Data Augmentation: An Empirical Study
Cognitive Graph Empowered Textile and Clothing Intelligent Service Platform
A Stochastic Model for Calculating Well-Founded Probabilities of Vulnerability Exploitation
How Well Just-In-Time Defect Prediction Techniques Enhance Software Reliability?
Towards an Evaluation Methodology of ML Systems from the Perspective of Robustness and Data Quality
Hardware Identification via Sensor Fingerprinting in a Cyber Physical System
Study on Hybrid Collaborative Simulation Testing Method Towards CPS
Event Sequence Graph-Based Feature-Oriented Testing: A Preliminary Study
QAQA-SS: An Improved Fuzzing Approach with Seed Scheduling Based on the UCB Algorithm for QA Systems
Model Dressing for Automated Exploratory Testing
Transferring Context-Dependent Test Inputs
Generating Autonomous Driving Safety Violation Scenarios Based on Multi-Objective Optimization
Research on the Utilization of Cloud Anchors in 5G Mobile Networks for Interactive Augmented Reality Display and Sculptural Art
Improving GAN-Based Calligraphy Character Generation using Graph Matching
Temporal Knowledge Graph Reasoning with Dual Guiding Constraints
Adaptive Tracing and Fault Injection based Fault Diagnosis for Open Source Server Software
A General Characterization of Representing Spatiotemporal Knowledge Graph based on OWL
Just-In-Time Method Name Updating With Heuristics and Neural Model
Embedded Software Fault Prediction Based on Back Propagation Neural Network
Similarity Analysis of Law Documents Based on Word2vec
Standards-Based IoT Testing with Open-Source Test Equipment
StructureTester: Automatic Machine Translation Testing Based on Variation Feature Vector
LogContrast: A Weakly Supervised Anomaly Detection Method Leveraging Contrastive Learning
Result Diversification in Clinical Case Reports Retrieval based on Main Finding
NONYM!ZER: Mitigation Framework for Browser Fingerprinting
An Anomaly Detection System Based on Ensemble of Detectors with Effective Pruning Techniques
Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS
Exploring the Impact of Grouping Strategies on Cooperative Co-evolutionary Algorithms for Solving the Advertising Budget Allocation Problem
Resilience of air Transport Network with the Complementary Effects of High-Speed Rail Network
Metamorphic Testing for the Deepfake Detection Model
Modeling Stochastic Deterioration by Chloride Ion Erosion Through Sparse Identification of Nonlinear Dynamics
MuNN: Mutation Analysis of Neural Networks
Adopting Misclassification Detection and Outlier Modification to Fault Correction in Deep Learning-Based Systems
Software Defect Prediction via GIN with Hybrid Graphical Features
Summary of Fault Diagnosis Technology in Smart Grid
Software Technology Status Management under the Trend of Ship Informatization
CBFL: Improving Software Fault Localization by Analyzing Statement Complexity
Beyond Memory Safety: an Empirical Study on Bugs and Fixes of Rust Programs
Reconsideration of Risk Communication and Risk Assessment Support Methods for Security
Safety decision of autonomous driving behavior based on Bayesian network and its verification method
EWDLL: Software Aging State Identification based on LightGBM-LR Hybrid Model
Reliability Analysis for a Degradation System Subject to Dependent Soft and Hard Failure Processes
Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model
Conflicts and Synergies among Quality Requirements
Evaluation of Dataset Distribution and Label Quality for Autonomous Driving System
MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization
Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?
Code Search Method Based on Multimodal Representation
Stateful Depletion and Scheduling of Containers on Cloud Nodes for Efficient Resource Usage
Scalability of Cloud Based SCIT-MTD
OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling
Evaluation of Intelligent Information System
Quantity-Simulation-Analysis Method based Novel RSA Timing Attack Algorithm for Single-Chip Microcomputer Platform
Proposing a Quality Model for Evaluating and Identifying Opportunities in Clinical Practice Guideline Engines
FINDGATE: Fine-grained Defect Prediction Based on a Heterogeneous Discrete Code Graph-guided Attention Transformer
Test Adequacy Criteria for Metamorphic Testing
MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL
Intelligent Radar Software Defect Prediction Approach and Its Application