yusuke1997/dblp-id-title huggingface dataset:
On dynamic feature location
Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot
Sustainable AI in the Cloud: Exploring Machine Learning Energy Use in the Cloud
Phrase-based extraction of user opinions in mobile app reviews
30th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2015, Lincoln, NE, USA, November 9-13, 2015
How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems
Understanding, Refactoring, and Fixing Concurrency in C#
Encouraging the Adoption of KBSE Technology: What Needs to Happen First?
Size and Accuracy in Model Inference
Who plays with whom? ... and how? mining API interaction patterns from source code
Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite
Scheduling constraint based abstraction refinement for weak memory models
Subformula Caching for Model Counting and Quantitative Program Analysis
Can Code Metrics Enhance Documentation Generation for Computational Notebooks?
Static, lightweight includes resolution for PHP
SemFix and beyond: semantic techniques for program repair
UML-based Service Discovery Tool
Combining Static Analysis and Model Checking for Software Analysis
GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Automated Round-trip Software Engineering in Aspect Weaving Systems
Utilizing feature location techniques for feature addition and feature enhancement
A Visualization Tool for Constraint Program Debugging
Automated Comprehension Tasks in Software Exploration
ELIXIR: effective object oriented program repair
Domain-specific Model Checking Using The Bogor Framework
Refactorings without names
"What Parts of Your Apps are Loved by Users?" (T)
Better Patching Using LLM Prompting, via Self-Consistency
Generative Model-Based Testing on Decision-Making Policies
Automatically assessing vulnerabilities discovered by compositional analysis
Reducing Time-To-Fix For Fuzzer Bugs
MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis
Variability modeling in the real: a perspective from the operating systems domain
How Verified is My Code? Falsification-Driven Verification (T)
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach
Automated Continuous Integration of Component-Based Software: An Industrial Experience
EHBDroid: beyond GUI testing for Android applications
Barriers to Using Static Application Security Testing (SAST) Tools: A Literature Review
Olympia: Fuzzer Benchmarking for Solidity
Automated Identification of Security-Relevant Configuration Settings Using NLP
An Empirical Study of Automation in Software Security Patch Management
Introducing service-oriented coverage testing
IdeoRate: Towards a Semi-automated Assessment Methodology for OSS Ideologies
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
Towards bounded model checking using nonlinear programming solver
Demystifying the Privacy-Realism Dilemma in the Metaverse
Explorations on the formal frontier of distributed system design
A Statistical Model to Locate Faults at Input Level
Repackman: a tool for automatic repackaging of Android apps
A component model for internet-scale applications
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
Test Transfer Across Mobile Apps Through Semantic Mapping
A buffer overflow benchmark for software model checkers
UML formalization is a traceability problem
A Unified Model for Product Data Management and Software Configuration Management
Evolve the Model Universe of a System Universe
Typed and Confused: Studying the Unexpected Dangers of Gradual Typing
Enhancing the Component Reusability in Data-Intensive Business Programs through Interface Separation
Experience Report on Automated Procedure Construction for Deductive Synthesis
AdvSCanner: Generating Adversarial Smart Contracts to Exploit Reentrancy Vulnerabilities Using LLM and Static Analysis
Accurate Centralization for Applying Model Checking on Networked Applications
Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach
Exploring the effects of ad schemes on the performance cost of mobile phones
Exploring Early Adopters' Perceptions of ChatGPT as a Code Generation Tool
VCR: Virtual Capture and Replay for Performance Testing
Identification and Mitigation of Gender Biases to Promote Diversity and Inclusion among Open Source Communities
The influence of multiple artifacts on the effectiveness of software testing
Automation for Exception Freedom Proofs
SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics
A demonstration of simultaneous execution and editing in a development environment
Circular Coinductive Rewriting
Sustainable software engineering - have we neglected the software engineer's perspective?
WADIFF: A Differential Testing Framework for WebAssembly Runtimes
Automated inference of classifications and dependencies for combinatorial testing
No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems
Constraint-based test data generation in the presence of stack-directed pointers
34th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2019, San Diego, CA, USA, November 11-15, 2019
A requirements monitoring infrastructure for systems of systems
TOPCASED Combining Formal Methods with Model-Driven Engineering
PaMpeR: proof method recommendation system for Isabelle/HOL
An automated collaborative requirements engineering tool for better validation of requirements
Nighthawk: a two-level genetic-random unit test data generator
Accelerating Symbolic Analysis for Android Apps
Learning to share: engineering adaptive decision-support for online social networks
Lightweight source code monitoring with Triggr
Mixed constraints for test input generation - An initial exploration
Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers
Automated Test Input Generation for Android: Are We There Yet? (E)
CloneDifferentiator: Analyzing clones by differentiation
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems
Parameterising (Algebraic) Specifications on Diagrams
Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development
A strategy for efficient verification of relational specifications, based on monotonicity analysis
Demystifying Application Performance Management Libraries for Android
Architecture support for runtime integration and verification of component-based Systems of Systems
Automated testing of cloud-based elastic systems with AUToCLES
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs
Automatically reducing tree-structured test inputs
SymCrash: selective recording for reproducing crashes
Semantic Links and Co-Evolution in Object-Oriented Software Development
Prototyping VDM specifications with KIDS
All about activity injection: threats, semantics, and detection
Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps
IMP: a meta-tooling platform for creating language-specific ides in eclipse
CORRECT: code reviewer recommendation at GitHub for Vendasta technologies
Automatically Repairing Binary Programs Using Adapter Synthesis
Spectrum-Based Multiple Fault Localization
An Instant Message-Driven User Interface Framework for Thin Client Applications
From Commit Message Generation to History-Aware Commit Message Completion
General LTL Specification Mining (T)
Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation
Generating program inputs for database application testing
SeDiTeC - Testing Based on Sequence Diagrams
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications
Automatic Code Documentation Generation Using GPT-3
Modular and generic programming with interpreterlib
Advanced Modelling and Verification Techniques Applied to a Cluster File System
A Prediction Model for Software Requirements Change Impact
Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing
Extending Manual GUI Testing Beyond Defects by Building Mental Models of Software Behavior
Verify Properties of Mobile Code
SimplyDroid: efficient event sequence simplification for Android application
Dual-force: understanding WebView malware via cross-language forced execution
Runtime monitoring of software energy hotspots
IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012
CVExplorer: identifying candidate developers by mining and exploring their open source contributions
Mining Hierarchical Scenario-Based Specifications
A Comprehensive Study on Code Clones in Automated Driving Software
Assessing the feasibility of Micro frontend architecture in native mobile app development
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs
PRCBERT: Prompt Learning for Requirement Classification using BERT-based Pretrained Language Models
Race Detection for Event-Driven Node.js Applications
In-memory fuzzing for binary code similarity analysis
node2defect: using network embedding to improve software defect prediction
Formal Specification Tools for Test Coverage Analysis
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications
Targeted test input generation using symbolic-concrete backward execution
Proceedings 6th Annual Knowledge-Based Software Engineering Conference, KBSE 1991, Syracuse, New York, USA, September 22-25, 1991
FlexType: A Plug-and-Play Framework for Type Inference Models
UNCHARTIT: An Interactive Framework for Program Recovery from Charts
Enhancing Automated Program Repair with Solution Design
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy
Balancing the Quality and Cost of Updating Dependencies
The MAP Metric in Information Retrieval Fault Localization
Re-Factoring Based Program Repair Applied to Programming Assignments
Lessons learned from hyper-parameter tuning for microservice candidate identification
Automated gui testing guided by usage profiles
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification
Cross-Platform Mobile App Development: The IscteSpots experience
Matching dependence-related queries in the system dependence graph
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement
JSTAR: JavaScript Specification Type Analyzer using Refinement
Retrieving Software Components that Minimize Adaptation Effort
A Knowledge-Based Approach to Software System Understanding
Efficient state synchronisation in model-based testing through reinforcement learning
Abstraction-aware verifying compiler for yet another MDD
Developer Reputation Estimator (DRE)
NLP-based enhancement of information security in ITO: a diffusion of innovation theory perspective
Exploiting social software to build open source communities
A Framework for Automated Test Mocking of Mobile Apps
Extracting Software Change Requests from Mobile App Reviews
DaPanda: Detecting Aggressive Push Notifications in Android Apps
Empowering Web Applications with WebAssembly: Are We There Yet?
Program generation for performance
Efficiently monitoring data-flow test coverage
Using Spectrum-Based Fault Localization for Test Case Grouping
Pre-Trained Neural Language Models for Automatic Mobile App User Feedback Answer Generation
Coverage-Guided Fuzzing for Feedforward Neural Networks
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack
Reasoning about Consistency in Model Merging
SA4U: Practical Static Analysis for Unit Type Error Detection
Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice
SymFusion: Hybrid Instrumentation for Concolic Execution
ThirdEye: Attention Maps for Safe Autonomous Driving Systems
Consistent Scene Graph Generation by Constraint Optimization
Towards a Framework to Assist Iterative and Adaptive Design in Gameful Systems
Task Oriented and Similarity-Based Retrieval
Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)
The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps
Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs
Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality
Direct-dependency-based software compatibility testing
HexT5: Unified Pre-Training for Stripped Binary Code Information Inference
DroidMate-2: a platform for Android test generation
Performance comparison of exploiting different millimetre-wave bands in 5G cellular networks
Designing Probabilistic Flow Counting over Sliding Windows
A Fully Distributed Heuristic Method to Select the ROOT Node in Wireless Sensor Networks
Optimal Power Allocation in Cooperative MIMO-NOMA with FD/HD Relaying in THz Communications
Modeling Dynamic Resource Allocation in the Edge
An ACK-Less Broadcast Access Mechanism for the IEEE 802.11bc Enhanced Broadcast Service
Sensorlab2: A monitoring framework for IoT networks
Blockchain based OAuth for IoT
Neural Network-based Available Bandwidth Estimation from TCP Sender-side Measurements
Simulation, modeling and analysis of the eICIC/ABS in H-CRAN
13th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, PEMWN 2024, Agadir, Morocco, September 25-27, 2024
Mobility support enhancement for RPL
On the QoS routing with RPL
Scheduling in Cognitive Radio Sensor Networks-An Auction-based Mechanism
Physical-layer Network Coding: A Heterogeneous Software-Defined-Radio based Implementation
Deep-IRSA: A Deep Reinforcement Learning Approach to Irregular Repetition Slotted ALOHA
11th IEEE IFIP International Conference on Performance Evaluation and Modeling in Wireless and Wired Networks, PEMWN 2022, Rome, Italy, November 8-10, 2022
10th IFIP International Conference on Performance Evaluation and Modeling in Wireless and Wired Networks, PEMWN 2021, Waterloo, ON, Canada, November 23-25, 2021
Location Privacy in Vehicular Networks: Analytical Review of Existing Solutions
Interference Study of Coexisting IEEE 802.11 and 802.15.4 Networks
Modeling and Improving Named Data Networking over IEEE 802.15.4
BTCmap: Mapping Bitcoin Peer-to-Peer Network Topology
QoS-aware Network Self-management Architecture based on DRL and SDN for remote areas
Efficiency of Speed Advisory Boundary fINder (SABIN) strategy for GLOSA using ITS-G5
Delay Analysis of a Mempool-Based Blockchain Protocol Under Asymptotic Hypothesis
Self-Organizing Maps Applied to Soil Conservation in Mediterranean Olive Groves
Towards predicting frailty symptoms through a smart walking stick
Artificial Neural Network based Soil VWC and Field Capacity Estimation Using Low Cost Sensors
Design and Analysis of a Rectenna System for Electromagnetic Energy Harvesting at 2.4 GHz
UAV Search Path Planning For Livestock Monitoring
Spatial Coexistence of Cooperative Radar and Communication Systems
RIOT-ROS2: Low-Cost Robots in IoT Controlled via Information-Centric Networking
An Analytical Model for a Class of Receiver-Initiated MAC Protocols for Energy Harvesting Wireless Sensor Networks
Narrowband communication with free-running 2.4GHz ring oscillators
The Digital Twin in Vehicular Network: A Key to the Future of IoV ?
Predictive model for elderly dependency assessment in ambient assisted living
Dynamic Load Balancing Control of Multiclass Traffic in Multi-Link IEEE 802.11be Networks
Event Aggregation for Smartphone-based Road-Anomaly Detection
A SDN-Controlled High-Performance Optical Network for Datacenters
Multi-Attribute Monitoring for Anomaly Detection: a Reinforcement Learning Approach based on Unsupervised Reward
Surveying and Analyzing Security Issues in Mobile Cloud Computing
12th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, PEMWN 2023, Berlin, Germany, September 27-29, 2023
A Novel Task Offloading Scheme for Robotics Applications in Information Centric Networks
Positioning system for emergency situation based on RSSI measurements for WSN
A Neuro-Fuzzy based detection approach for HARQ-CC in FBMC-OQAM systems
Location and Time Based Access Security Control Scheme for Mobile Cloud Computing
Sensor deployment for target coverage in underwater wireless sensor network
WiFi/LTE learning based Qos-aware Coexistence
Built In-Stack Localisation Services with ALO
Power consumption comparison of synchronized IoT devices running FreeRTOS and RIOT
Evaluating the gain of directional antennas in linear VANETs using stochastic geometry
A Deep Learning Approach to Topology Configuration in Multi-Hop Wireless Networks with Directional Antennas: nodes2net
5GRecon: Automating 5G Network Function Recognition and Misconfiguration Troubleshooting
Integrated Simulation of Both Vehicles Mobility and Relay-Empowered 5G Communications in a City
DPFTT: Distributed Particle Filter for Target Tracking in the Internet of Things
An Efficient Convolution Method to Compute the Stationary Transition Probabilities of the G/M/c Model and its Variants
Securing Vehicular Platooning against Vehicle Platooning Disruption (VPD) Attacks
Implementation and validation of an Omnet++ optical burst switching simulator
Collision avoidance on shared slots in a wireless slotted network: Models and simulations
Minimal Virtual Machines on IoT Microcontrollers: The Case of Berkeley Packet Filters with rBPF
Impact Analysis of Greedy Behavior Attacks in Vehicular Ad hoc Networks
Effective DDoS Security Scheme for Mobile Cloud Computing Systems
ANGELA: HTTP Adaptive Streaming and Edge Computing Simulator
Multi-Power Irregular Repetition Slotted ALOHA in Heterogeneous IoT networks
On the Problem of Finding "Sets Ensuring Linearly Independent Transversals" (SELIT), and its Application to Network Coding
Cloud-Fog-Edge Computing in Smart Agriculture in the Era of Drones: a systematic survey
9th IFIP International Conference on Performance Evaluation and Modeling in Wireless Networks, PEMWN 2020, Berlin, Germany, December 1-3, 2020
Enhanced Rotating Polarization Wave for Robust Wireless Connectivity
2018 IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, PEMWN 2018, Toulouse, France, September 26-28, 2018
Wireless Link Quality Prediction in IoT Networks
Proportional Differential Privacy (PDP): A new Approach for Differentially Private Histogram Release based on Buckets Densities
A new Taxonomy of Physical-Layer Network Coding techniques in Two Way Relay Channel model with single antenna
Blockchain Adapted to IoT via Green Mining and Fractal Proof of Work
RIOT and OpenWSN 6TiSCH: Happy Together
Dynamic Hierarchical Neural Network Offloading in IoT Edge Networks
Dealing with the Hidden Node Problem in Multioperator LAA-LTE Scenarios
8th International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, PEMWN 2019, Paris, France, November 26-28, 2019
SI-POF Transmission with OFDM and Sub-carrier Pairwise Coding
Interference prediction framework for jointed macro/small-cell network interplay performance analysis under heterogeneous scope
Low-Power IoT Communication Security: On the Performance of DTLS and TLS 1.3
W-ETX: Worst-case Expected Transmission Count routing protocol for convergecast WSNs
5G Positioning with SDR-based Open-source Platforms: Where do We Stand?
Spectral Efficiency of Massive MIMO FD Relay-Aided D2D and Cellular in HetNets with Imperfect CSI
Comparative Analysis of Deep Learning Models for Detecting Jamming Attacks in Wi-Fi Network Data
Deployment of Electricity-theft Detection Infrastructure in Chadian Smart Grid Networks
Feature extraction based on principal component analysis for text categorization
Surveying and Analyzing Privacy Issues in Contact tracing apps
Detecting Greedy Behaviour in TDMA-Based VANETs Using Watchdog and SVM
Performance Evaluation of Neighbor Discovery Algorithms in a Star WSN: Switched beam antenna vs omnidirectional antenna at the Sink
k-Nearest Neighbor Algorithm to Classify IoT Localization Data: A Case Study on LocURa4IoT Datasets
LTE-U and WiFi coexistence in the 5 GHz unlicensed spectrum: A survey
Two recursive schedulers for the uplink of LTE/LTE-A networks: M2M case study
Self-interference mitigation in two-hop relay using two stage projection algorithms
Improving The Accuracy of The Energy Consumption Model for Electric Vehicle in SUMO Considering The Ambient Temperature Effects
International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, PEMWN 2017, Paris, France, November 28-30, 2017
Using visible light links in combination with radio communication in a vehicular network
Intra-Platoon Communication in Autonomous Vehicle: A survey
Performance analysis of heterogeneous TCP congestion control environments
A novel cell design approach for LTE underground tunnels coverage
Vehicular Platoons Security: A Review with an Emphasis on Sybil Attacks
Joint Active Precoding for RIS-Aided Cell-Free MIMO Networks
Predicting transmission success with Support Vector Machine in VANETs
A solution to the split & merge problem for blockchain-based applications in ad hoc networks
A proposal of a distributed access control over Fog computing: The ITS use case
Experimental Performance Evaluation of Cellular IoT networks in Deep-Indoor Scenario
U-TOE: Universal TinyML On-Board Evaluation Toolkit for Low-Power IoT
Cubedate: Securing Software Updates in Orbit for Low-Power Payloads Hosted on CubeSats
Low vs high spectral efficiency communications with SIC and random access
Analyzing and Optimizing Extended-CAM Service Using Simple Stochastic Geometry Model
An Adaptive Schedule for TSCH Networks in the Industry 4.0
In-network Support for Packet Reordering for Multiaccess Transport Layer Tunneling
Secured Contact Tracing for Epidemic Transmission Prevention in Smart Farming Applications
Experimental suitability evaluation of standardized QoS measurements over mobile broadband networks
A New Model for Enhancing IoT Security Through Hybrid Optimization of Intrusion Detection
A Survey on the Opportunities of Blockchain and UAVs in Agriculture
LTE maritime coverage solution and ocean propagation loss model
An Optical Wavelength Filter with Reduced Crosstalk Consisting of a Si Arrayed-Waveguide Grating and Bragg Tunable Grating Filters
Free-Space Few-Mode Kramers-Kronig Receiver
High-speed High-saturation-power modulation through a 1560nm long-cavity Directly Modulated DFB Laser
All-Optical AND Logic Gate Using Filter-Sliced Frequency Chirp in a QD-SOA
Theoretical Analysis on Multiple Layer Fast Optical Switch Based Data Center Network Architecture
Sparse-fast-Fourier-Transform Assisted Timing/Frequency Synchronization for Optical Coherent Receivers
SDN/NFV Control and Orchestration for SDM Networks
Effective Area Measurement of Few-mode Fibers Using a Variable Aperture in a Far-Field Technique
Programmable Photonic Architecture Solving Systems of Ordinary Differential Equations
Combined Mechanical-Optical Simulation to Predict Microbending Loss of Single Mode Fibers
Multi-User MIMO in Visible Light Communications by Superposed Intensity Modulated Signals
Simultaneous Nonlinear-Optical Processing of Multiple WDM Channels
Ultra-Low Phase Noise Microwave Generation with 25-GHz Electro-Optics-Modulation Comb
Open Line Controller Architecture in Partially Disaggregated Optical Networks
Phase-Conjugated Twin-SSB for Compensation of Optical Nonlinear Waveform Distortion
Nonlinearity Compensation in Modern Submarine Networks
Silicon waveguide polarization rotation Bragg grating using directional coupling