yusuke1997/dblp-id-title huggingface dataset:
A Fault-Localization Approach Based on the Coincidental Correctness Probability
An Empirical Study on How Empowering Leadership Affects the Team Creativity
The Optimal Inverter DC/AC Value Selection Method Based on Big Data Technology
Defect-Introducing Defect Prediction Testing
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
Incarnation-Mediated: Cognitive Measurement of Virtual Scenes and Analysis of Complex Active Adaptive Behaviors in Realistic Scenography
A Novel Tree-based Neural Network for Android Code Smells Detection
Time-Traveling Debugging Queries: Faster Program Exploration
An Empirical Study on Python Library Dependency and Conflict Issues
Security-Aware Multi-User Architecture for IoT
GOV: A Verification Method for Smart Contract Gas-Optimization
Towards an Effective and Interpretable Refinement Approach for DNN Verification
Modelling and Verification of User Interactions Using Constraint Programming
PDG2Vec: Identify the Binary Function Similarity with Program Dependence Graph
Are the Scala Checks Effective? Evaluating Checks with Real-world Projects
An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics
Trial Development of a Cyber Risk Visualization System with Function of k-Anonymity and Compatibility with Other Organizations
A Software Reliability Prediction Model: Using Improved Long Short Term Memory Network
Triggering Adaptation via Contextual Metamorphic Relations
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study
A Software Defect Prediction Classifier based on Three Minimum Support Threshold Association Rule Mining
Software Fault Injection Campaign Generation for Cloud Infrastructures
A Security Model for Access Control in Graph-Oriented Databases
Graph-based Vulnerability Detection via Extracting Features from Sliced Code
Software Network Models Based on Dynamic Execution for Fault Propagation Research
SSpinJa: Facilitating Schedulers in Model Checking
The Characteristics and Impact of Uncompilable Code Changes on Software Quality Evolution
Social Media Safety Practices and Flagging Sensitive Posts
TSDTest: A Efficient Coverage Guided Two-Stage Testing for Deep Learning Systems
Law Article Prediction Based on Deep Learning
A Novel Model for Software Development and Testing in Programmable Logic
Investigating the Significance of Bellwether Effect to Improve Software Effort Estimation
The Most Important Factors Chosen in Medical Clinical Data by Using Multi-Facet Clustering Variational Autoencoders (MFCVAE)
Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines
Evaluating the Robustness of Deep Reinforcement Learning for Autonomous Policies in a Multi-Agent Urban Driving Environment
Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis
An Ontology Based Resource Description Model for Blockchain-IoT
A Possibilistic Evolutionary Approach to Handle the Uncertainty of Software Metrics Thresholds in Code Smells Detection
Adding Cyberattacks To An Industry-Leading CAN Simulator
Visual-ISAM: A Visualization Method for Software Failure Analysis and Evaluation based on Knowledge Graph Utilizing Improved SALKU Model
On Business Drivers for Firmware Test: A Wake-Up Call for Software Engineering Research?
Securing Scientific Workflows
Predicting Fault-Prone Classes in Object-Oriented Software: An Adaptation of an Unsupervised Hybrid SOM Algorithm
An Enhanced Software Architecture to Improve the MQTT Communications Encrypted Model
A Comprehensive Analysis of NVD Concurrency Vulnerabilities
Towards Better Coverage of Dataset with Software Product Line Engineering
Automation in Hardware-in-the-Loop Units Development and Integration
Initial Framework for Software Quality Evaluation Based on ISO/IEC 25022 and ISO/IEC 25023
Spatio-Temporal Aware Testing for Complex Systems
Experiences in Testing and Analysing Data Intensive Systems
A Lightweight Decision-Tree Algorithm for detecting DDoS flooding attacks
Research on the Measurement and Transmission Network System of New Launch Vehicle Based on Cloud Computing
Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints
An Evaluation Framework of Knowledge Management Activities
Availability and Cost aware Multi-'omain Service Deployment Optimization
Introduction of a Tool-Based Continuous Information Security Management System: An Exploratory Case Study
Research and Development of ICT Call Center Data Auxiliary Analysis System Based on Knowledge Discovery
Automated Evaluation for Performance Test Scripts
Hardening Application Security Using Intel SGX
Public Perception Toward Tesla Fatal Accidents: Neural Network Approach
The Application of the Teaching Model of "Promoting Learning Through Competition, Promoting Teaching Through Competition" in the Course of Data Analysis and Mining
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model
Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming
A Privacy Leakage Detection Method for Personalized Course Recommendation Based on Pi-Calculus
Selective Symbolization Based Efficient Symbolic Execution
Automatic Defense through Fault Localization and Dynamic Patch Creation
Automated Warship Software Testing System Based on LoadRunner Automation API
A Light-Weight Convolutional Neural Network for Facial Expression Recognition using Mini-Xception Neural Networks
Static routing-based delay analysis for low-orbiting satellite networks
An Approach to Controlling Context by Combining Game Theory and Control Theory for Self-Adaptive Software in Creative Computing
Generalized Network Temperature for DDoS Detection through Rényi Entropy
A Distributed Service Function Chain Orchestration Approach with VNF Reuse to Balance Latency and Resource Efficiency
Historical Information Stability based Reward for Reinforcement Learning in Continuous Integration Testing
Information System Reliability Quantitative Assessment Method and Engineering Application
Security Requirements Analysis - A Vision for an Automated Toolchain
Optimal maintenance policy considering innovation replacement
Research on Cross-Layer Optimization of Smart Grid Demand Side Based on WSNs
Optimum Post-Disruption Restoration Plan of Interdependent Critical Infrastructures
Detecting Android Security Vulnerabilities Using Machine Learning and System Calls Analysis
Security Requirement Engineering Using Structured Object-Oriented Formal Language for M-Banking Applications
A Security Compliance-by-Design Framework Utilizing Reusable Formal Models
A Method of Bug Report Quality Detection Based on Vector Space Model
High Intensity Radar Echo Extrapolation Based on Stacked Generative Structure
An Online Model Integration Framework for Server Resource Workload Prediction
Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis
Method-Level Test Selection for Continuous Integration with Static Dependencies and Dynamic Execution Rules
Stateless Multiparty Trust Negotiation Protocol for Distributed Systems
Real-Time Control Algorithm of Intelligent Energy-Saving Lights based on IoT
Research on Security Detection and Data Analysis for Industrial Internet
Detecting Security Vulnerabilities with Vulnerability Nets
A Survey on Knowledge Management in Software Engineering
Mining Power Misestimation in PoW Blockchain
Visual Sensitivity Controlling Colour Model in Creative Computing
An Empirical Study on Test Case Prioritization Metrics for Deep Neural Networks
Boosting UI Rendering in Android Applications
Judicial Knowledge Reasoning Based on Representation Learning
Depth Estimation and Object Detection for Monocular Semantic SLAM Using Deep Convolutional Network
Unit Crowdsourcing Software Testing of Go Program
Revisiting the Impact of Concept Drift on Just-in-Time Quality Assurance
A machine learning-based static analysis warning prioritization
Vulnerability Classification on Source Code Using Text Mining and Deep Learning Techniques
Importance and Aptitude of Source Code Density for Commit Classification into Maintenance Activities
An Empirical Study of Comparison of Code Metric Aggregation Methods-on Embedded Software
Sustainable Food Supply Chain Management and Firm Performance: The Mediating Effect of Food Safety Level
BDGSE: A Symbolic Execution Technique for High MC/DC
Towards Effective and Scalable Testing for Complex High-Speed Railway Signal Software
Support for the safety of EVM bytecode via function-call interceptor
A Lightweight Fault Localization Approach based on XGBoost
A Case Study into Collaborative Creation with Artificial Intelligence in Art Education in Taiwan
Explainable Multimodal Fake Posts Detection Using Feature Extraction with Attention Mechanisms
IoT Phishing Detection Using Hybrid NLP and Machine Learning Models Enhanced with Contextual Embedding
Ranking Online Reviews Based on Consumer Preferences
ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively
Have It Your Way: Generating Customized Log Data Sets with a Model-driven Simulation Testbed
A Remaining Useful Life Prediction Framework for Multi-sensor System
The Need for Unified Testbed Management Across Multiple Teams and Stakeholders in a Large Scale Telecom Integration Context
Data Driven User Feature Construction and Requirement Generation in Mobile Applications
Identification of Compromised IoT Devices: Combined Approach Based on Energy Consumption and Network Traffic Analysis
Syntax-Dependency Orientation Guided Vision-and-Language Transformer for Image-Text Matching
Task Resource Planning and Verification Method Based on Intelligent Planning
A Dead Code Evaluation Method based on Complex Network
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness
Fault Detection in Timed FSM with Timeouts by SAT-Solving
High-Reliability Compilation Optimization Sequence Generation Framework Based ANN
Quality of Reusable Game Software: Empowering Developers with Automated Quality Checks
Branch Use in Practice: A Large-Scale Empirical Study of 2, 923 Projects on GitHub
Blockchain-Based Slice Orchestration for Enabling Cross-Slice Communication at the Network Edge
PURITY: A Planning-based secURITY Testing Tool
Detecting Cross-Site Scripting Vulnerabilities through Automated Unit Testing
A Graph-Based Approach for Discovering Evidence Relationships Across Multiple Devices in Group Crimes
Regular Expression Based Test Sequence Generation for HDL Program Validation
AndrAS: Automated Attack Surface Extraction for Android Applications
IMGA: Improved Microbial Genetic Algorithm
DeepDiffer: Find Deep Learning Compiler Bugs via Priority-guided Differential Fuzzing
BayesFLo: Bayesian Fault Localization for Software Testing
Adversarial attack for deep-learning-based fault diagnosis models
Prediction of Overlying Rock Deformation based on LSTM in Optical Fiber Sensor Monitoring
Towards Research on Information Gravitation
Heterogeneous Modeling and Testing of Software Product Lines
TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs
Message from the Chairs QRS 2023
From Design to Invariants: Detecting Attacks on Cyber Physical Systems
An AST-Based Approach to Classifying Defects
Mapping Method between 2D Landscape Image and 3D Spatial Data based on Adversarial Relative Depth Constraint Network
Augmentation Method of Test Data for Path Coverage based on K-means Clustering
DeepWeak: Weak Mutation Testing for Deep Learning Systems
Query Quality Prediction for Text Retrieval-based Bug Localization
Formalizing Semantic Differences between Combining Algorithms in XACML 3.0 Policies
A predictive Hidden semi-Markov Model for bridges subject to chloride-induced deterioration
A Gaussian Process Approach for Predictive Maintenance
Remaining Useful Life Prediction for Multi-state Stochastic Deterioration Assets Based on Phase-type Distributions
An Interactive Ranking Algorithm for Program Static Analysis
Using Fuzzing to Help Abstract Interpretation Based Program Verification
Risk Assessment Method for Balancing Safety, Security, and Privacy in Medical IoT Systems with Remote Maintenance Function
eCPDP: Early Cross-Project Defect Prediction
Multiscale Empirical Analysis of Software Network Evolution
Savery: A Framework for the Assessment and Comparison of Mobile Development Tools
Online Data Drift Detection for Anomaly Detection Services based on Deep Learning towards Multivariate Time Series
IoT-Testware - An Eclipse Project
Fine-Grained Software Reliability Estimation Using Software Testing Inputs
ConfMapper: Automated Variable Finding for Configuration Items in Source Code
PADRAIG: Precise Android Automated Input Generation
Data Evaluation and Enhancement for Quality Improvement of Machine Learning
MINTS: Unsupervised Temporal Specifications Miner
An In-Depth Study of the Efficiency of Risk Evaluation Formulas for Multi-Fault Localization
Integrating Data-Driven and Knowledge-Driven Methodologies for Safety-Critical Scenario Generation in Autonomous Vehicle Validation
A Tool Supported Testing Method for Reducing Cost and Improving Quality
Detecting Vulnerabilities in Android Applications using Event Sequences
Survey on the Impact of Agile Development on Software Quality
Hierarchical Clustering of Group Behaviors in Cyber Situation Awareness
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java
Development of A Real 3D Display System
Research of Military Cyber Operation Forensic and Analysis in Russia-Ukraine Conflict
JITBoost: Boosting Just-In-Time Defect Prediction using Boolean Combination of Classifiers
23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023
EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
An Under-sampling Method: Based on Principal Component Analysis and Comprehensive Evaluation Model
Efficient Generation of Test Data with Extended Cardinality Constraints
TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach
A Novel Explainable Method based on Grad-CAM for Network Intrusion Detection
Test Case Generation for Autonomous Driving Based on Improved Genetic Algorithm
Feature Selection and Analysis of Diffraction Images
Neurofeedback and Creativity in Interceptive Human Movement: A Theoretical Model for Neurocybernetics Based Kinaesthetic Multimodal Learning Agent
A Collaboration-Aware Approach to Profiling Developer Expertise with Cross-Community Data
Improving the Detection of Concurrent Artifact Anomalies in a Structured Workflow
An Empirical Study of Reliability Analysis for Platooning System-of-Systems
The Use of Pretrained Model for Matching App Reviews and Bug Reports
The Effect of Combinatorial Coverage for Neurons on Fault Detection in Deep Neural Networks
Dynamic Test Selection Using Source Code Changes
Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System
CsPI: A New Way to Evaluate Cybersecurity Investments: A Position Paper
Application of Blockchain to Trade Clearing
Empirical Evaluation of Large Language Models for Novice Program Fault Localization
The Rg-conditional connectivity and diagnosablility of generalized exchanged X-cubes
Cross-Project Dynamic Defect Prediction Model for Crowdsourced test
Generating Adversarial Samples Based on the Attack Robust Training Model
Research on Mining of Government Data Based on Enhanced-Object Exchange Model
CGSA-RNN: Abnormal Network Traffic Detection Model Based on CycleGAN and Self-Attention Mechanism
Implementation of an extended FIDO2 authenticator using Attribute-Based Signatures
A Performance Benchmarking Methodology for MQTT Broker Implementations
A Zombie Account Detection Method in Microblog Based on the PageRank
CGFuzz: A Dynamic Test Case Generation Method for DL Framework Based on Function Coverage
A Study of the Extraction of Bug Judgment and Correction Times from Open Source Software Bug Logs
Multi-Role Consensus Through LLMs Discussions for Vulnerability Detection
Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm
A Creative Computing Approach to Analysis of Speaker Intention Using the DIKCW Model
An Empirical Study on Modeling Testing Requirements for Safety-Critical Software
Research on Judicial Data Standard
BugIdentifier: An Approach to Identifying Bugs via Log Mining for Accelerating Bug Reporting Stage
Automated Cause Analysis of Latency Outliers Using System-Level Dependency Graphs
Resource/Schedule/Content Test Planning Model
A Spatial-Temporal Model for Software Fault Tolerance in Safety-Critical Applications
On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection
Intelligent Question Answering System Based on Cognitive Graph: A Case Study of Textile Fabrics
A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics
Security Header Fields in HTTP Clients
Fault Localization in the Light of Faulty User Input
A Proposal for Model-Based Reliability-Oriented System Design in Industry
IntJect: Vulnerability Intent Bug Seeding
A Mechanism for Automatically Summarizing Software Functionality from Source Code
RetCom: Information Retrieval-Enhanced Automatic Source-Code Summarization
Code Generation for Abstract Data Types Based on Program Analysis
Parallel stratified random testing for concurrent programs
Exception-Driven Fault Localization for Automated Program Repair
A Parameter Free Choice Function Based Hyper-Heuristic Strategy for Pairwise Test Generation
A Scalable Storage Scheme for On-Chain Big Data using Historical Blockchains
CBSDI: Cross-Architecture Binary Code Similarity Detection based on Index Table
SPIRT: A Fault-Tolerant and Reliable Peer-to-Peer Serverless ML Training Architecture
A Novel View: Edge is Operimetric Methods and Reliability Evaluation of Several kinds of Conditional Edge-connectivity of Interconnection Networks
Safe Traffic Sign Recognition through Data Augmentation for Autonomous Vehicles Software
Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking
Machine Learning based Re-identification of Location Histories using Contact Information Collected from Social Networking Services
2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017
Knowledge Graph-based Network Analysis on the Elements of Autonomous Transportation System
Moving Switching Functions to Continuous Domain
Test Benchmarks: Which One Now and in Future?
Colonization Strategy Algorithm: A Deviation Algorithm Optimization based on Spatial Autocorrelation Theory
Similarity Analysis in Data Element Matching based on Word2vec
Visualizing Human Interactions in a Workspace Setting and Maintaining Privacy
AI and Security - What Changes with Generative AI
Differencing Graphical User Interfaces
A Self-Tuning Procedure for Resource Management in InterCloud Computing
Research on the Reuse of Test Case for Warship Equipment Software
Cross-Project Defect Prediction Using a Credibility Theory Based Naive Bayes Classifier
Nimbus: Toward Speed Up Function Signature Recovery via Input Resizing and Multi-Task Learning
Understanding the Resilience of Neural Network Ensembles against Faulty Training Data
Combinatorial Testing of Software with Binary Inputs: A State-of-the-Art Review
Generating Adversarial Examples of Source Code Classification Models via Q-Learning-Based Markov Decision Process
Security Countermeasure Selection for Component-Based Software-Intensive Systems
A Novel Approach for Bounded Model Checking Through Full Parallelism
Fuzzing Command-line Interface by Edge Coverage Guided Combinatorial Testing and Input Clustering
Applications of Cucumber on Automated Functional Simulation Testing
Attack-based Automation of Security Testing for IoT Applications with Genetic Algorithms and Fuzzing
Thresholds for Size and Complexity Metrics: A Case Study from the Perspective of Defect Density
Spiral^SRA: A Threat-Specific Security Risk Assessment Framework for the Cloud
Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements
PreBEV: Leveraging Predictive Flow for Enhanced Bird's-Eye View 3D Dynamic Object Detection
Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems
A Functional FMECA Approach for the Assessment of Critical Infrastructure Resilience
IMCSCL: Image-Based Malware Classification using Self-Supervised and Contrastive Learning
Mobile Test Script Generation from Natural Language Descriptions
Computational Imagination in Three-Dimension Scene Synthesis
How Effective Are Code Coverage Criteria?
Model-Based Software Product Line Testing by Coupling Feature Models with Hierarchical Markov Chain Usage Models
Motivating Security Engineering with Economics: A Utility Function Approach
Recovering Semantic Traceability between Requirements and Source Code Using Feature Representation Techniques
Towards Repairing Neural Networks Correctly
CGMBL: Combining GAN and Method Name for Bug Localization
StasogFL: A Fault Localization Method Based on Statement Association Graph
Resilience in Homogeneous Networks: A Strategic Network Formation Approach
Selective Regression Testing of Safety-Critical Systems: A Black Box Approach
A K-means Improved CTGAN Oversampling Method for Data Imbalance Problem
An Exploratory Study on Judicial Image Quality Assessment Based on Deep Learning
A Tool for Security Measuring and Probe Management
Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers
Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity
A Selective Maintenance Strategy on Network-Based System with Constrained Flow
Node-Set Analysis for Linked Recursive Data Structures
Semantic Feature Learning based on Double Sequences Structure for Software Defect Number Prediction
24th IEEE International Conference on Software Quality, Reliability, and Security, QRS - Companion, Cambridge, United Kingdom, July 1-5, 2024
A Robustness-Oriented Data Augmentation Method for DNN
Target Code-coverage and Efficiency in APP Automatic Compatibility Testing Based on Code Analysis
Decoding Social Sentiment in DAO: A Comparative Analysis of Blockchain Governance Communities
Model Checking the Safety of Raft Leader Election Algorithm
Chinese Character Creation Algorithm: Evaluation of the Effectiveness of Topological Similarity of Remote Sensing Images Considering the Description of Sparse Geographic Structure
Interpretable Test Case Recommendation based on Knowledge Graph
Boosting Grey-box Fuzzing for Connected Autonomous Vehicle Systems
Efficient fuzz testing of web services
Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing
LoRa-based Fire Monitoring System
A Smart Contract Development Framework for Maritime Transportation Systems
A Distance-Based Dynamic Random Testing with Test Case Clustering
Research on Intelligent Recognition and Analysis of Power Grid Infrastructure Construction Based on YOLO
A Method Based on Meta-model for the Translation from UML into Event-B
Improved Methods of Pointer Mixture Network for Code Completion
2018 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2018, Lisbon, Portugal, July 16-20, 2018
An IT Community Code Quality Ranking Model Based on Sentiment Analysis and Fuzzy Multi-Attribute Decision-Making
Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems
Fitting and Peak Searching of Spectrum for Fourier Transform Infrared Spectrometer
Evaluating Interaction Content in Online Learning Using Deep Learning for Quality Classification
Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods
A Large-Scale Study on Vulnerabilities in Linux using Vtopia
Semi-Automated Refactoring of BPMN Processes
Analysis of Reliable Architecture Techniques for Adaptive Adversarial Systems of System
A Crawler-Based Vulnerability Detection Method for Cross-Site Scripting Attacks