yusuke1997/dblp-id-title huggingface dataset:
WISE'14, Proceedings of the 2014 ACM International Workshop on Long-term Industrial Collaboration on Software Engineering, Vasteras, Sweden, September 16, 2014
AnModeler: a tool for generating domain models from textual specifications
Transfer learning for performance modeling of configurable systems: an exploratory analysis
Accelerating All-SAT Computation with Short Blocking Clauses
Automatic Inter-Procedural Test Case Generation
Efficient unit test case minimization
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
Properties and scopes in web model checking
Predicting relevance of change recommendations
Fixing Some Transformation Problems
Stability of Self-Adaptive Software Architectures
Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment
Software Test Generation Using Refinement Types
COMPASS: Tool-Supported Adaptation of Interactions
SpecDiff: debugging formal specifications
Directions for Future KBSA Research
Query-Aware Test Generation Using a Relational Constraint Solver
Is this Change the Answer to that Problem?: Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness
Empirical Analysis on Parallel Tasks in Crowdsourcing Software Development
Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)
A Message-Passing Architecture without Public Ids Using Send-to-Behavior
HTFuzz: Heap Operation Sequence Sensitive Fuzzing
Tool-Assisted Unit Test Selection Based on Operational Violations
Group Support for Distributed Collaborative Concurrent Software Modeling
Ansible Lightspeed: A Code Generation Service for IT Automation
Extracting rights and obligations from regulations: toward a tool-supported process
Graph-based approach for detecting impure refactoring from version commits
SHADOWS: Self-healing complex software systems
A specialisation of the SQuaRE quality model for the evaluation of the software evolution and maintenance activity
Live Programming for Finite Model Finders
Test case permutation to improve execution time
Development of an expert assistant for software evaluation using a hybrid approach
Service Application Knowledge Graph and Dependency System
MiL testing of highly configurable continuous controllers: scalable search using surrogate models
Automated Software Test Data Generation for Complex Programs
Decor: a tool for the detection of design defects
Identifying traits with formal concept analysis
19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria
Understanding and overcoming parallelism bottlenecks in ForkJoin applications
Software migration projects in Italian industry: Preliminary results from a state of the practice survey
A Framework for Dynamic Service Discovery
Application of design for verification with concurrency controllers to air traffic control software
The 4+1 view model of industry-academia collaboration
Predicting Code Context Models for Software Development Tasks
Swarm Verification
Recommending API Usages for Mobile Apps with Hidden Markov Model
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code
Fast deployment and scoring of support vector machine models in CPU and GPU
Automated Security Checking and Patching Using TestTalk
A Preliminary Study of the Impact of Code Coverage on Software Energy Consumption
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
Property Inference for Deep Neural Networks
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
Position paper: Meaningful updates to executing programs
Test Migration Between Mobile Apps with Similar Functionality
Multi-objective test report prioritization using image understanding
Mining Health Models for Performance Monitoring of Services
iProbe: A lightweight user-level dynamic instrumentation tool
Have We Seen Enough Traces? (T)
Leveraging abstract interpretation for efficient dynamic symbolic execution
Learning to Handle Exceptions
When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection
Thunderkaller: Profiling and Improving the Performance of Syzkaller
A Drift Handling Approach for Self-Adaptive ML Software in Scalable Industrial Processes
Effectiveness and challenges in generating concurrent tests for thread-safe classes
Zimbabwean non-uptake of protective point-of-sale behaviours: is this a risk homeostasis response?
Towards more accurate retrieval of duplicate bug reports
Self-Repair through Reconfiguration: A Requirements Engineering Approach
Automated detection of api refactorings in libraries
Commits as a basis for API misuse detection
Fairer Software Made Easier (using "Keys")
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis
AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks
European Laboratory for Software Evolution (ELSE) : Vision statement
E-Debitum: managing software energy debt
Proceedings of the 1st International Workshop on Software Refactoring, IWoR@ASE 2016, Singapore, Singapore, September 4, 2016
Generalizability of Code Clone Detection on CodeBERT
Scaler: Efficient and Effective Cross Flow Analysis
Generating Fixtures for JavaScript Unit Testing (T)
Model based test validation and oracles for data acquisition systems
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows
Combination Model Checking: Approach and a Case Study
TrEKer: tracing error propagation in operating system kernels
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
Evaluation of Automated Software Engineering Systems? (Panel)
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Practical guidelines for change recommendation using association rule mining
Graphical Support for Code-Level Software Understanding
TestMC: Testing Model Counters using Differential and Metamorphic Testing
On adopting linters to deal with performance concerns in Android apps
CCGraph: a PDG-based code clone detector with approximate graph matching
Component-based Software Process Support
Exploring regular expression comprehension
Verifiable Concurrent Programming Using Concurrency Controllers
Automatically assessing crashes from heap overflows
ESBMC 5.0: an industrial-strength C model checker
Class level fault prediction using software clustering
Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis
A bounded statistical approach for model checking of unbounded until properties
Identifying and Describing Information Seeking Tasks
IncBL: Incremental Bug Localization
IncA: a DSL for the definition of incremental program analyses
Systematically testing background services of mobile apps
Automated domain-specific C verification with mbeddr
An analogy-based retrieval mechanism for software design reuse
JRF-E: using model checking to give advice on eliminating memory model-related bugs
A survey of social software engineering
Applying Test Automation to Type Acceptance Testing of Telecom Networks: A Case Study with Customer Participation
Grading-Based Test Suite Augmentation
Empirical Study of System Resources Abused by IoT Attackers
SPEjs: a symbolic partial evaluator for JavaScript
Representation and Maintenance of Process Knowledge for Large Scale Systems Development
Applying plan recognition algorithms to program understanding
Compile-Time Detection of Machine Image Sniping
Efficiently computing derived performance data
Mining testing questions on stack overflow
RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models
In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators
Fuzzing the Rust Typechecker Using CLP (T)
Tobias-Z: An executable formal specification of a test generator
A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem
By the power of SMT! mining function contracts to better bounded model checking
Tracking load-time configuration options
Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories
38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 - Workshops, Luxembourg, September 11-15, 2023
PowDroid: Energy Profiling of Android Applications
Empirical Study of Programming to an Interface
Adaptation hiding modularity
Don't Verify, Abstract!
Poking the bear: lessons learned from probing three Android malware datasets
REACT: IR-Level Patch Presence Test for Binary
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)
Metamorphic Object Insertion for Testing Object Detection Systems
Understanding the Value of Software Engineering Technologies
Improving API Usage through Automatic Detection of Redundant Code
Executing Model-Based Tests on Platform-Specific Implementations (T)
Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions
Safety and Robustness for Deep Learning with Provable Guarantees
Automatic Verification of Java Design Patterns
Right to Know, Right to Refuse: Towards UI Perception-Based Automated Fine-Grained Permission Controls for Android Apps
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning
Effort Estimation in Capturing Architectural Knowledge
An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair
To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems
Deep learning code fragments for code clone detection
RUDSEA: recommending updates of Dockerfiles via software environment analysis
Test behaviour detection as a test refactoring safety
FIPSER: Improving Fairness Testing of DNN by Seed Prioritization
Automated model repair for Alloy
Strategies for Automated Specification-Based Testing of Synchronous Software
Express: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems**This research is in part supported by the National Natural Science Foundation of China Project No. 61972001
APIzation: Generating Reusable APIs from StackOverflow Code Snippets
Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016
Towards Agent-Based Testing of 3D Games using Reinforcement Learning
Discovering Patterns of Change Types
Finding Comparatively Important Concepts between Texts
Experiences applying automated architecture analysis tool suites
ACSIMA: A Cyber Security Index for Mobile Health Apps
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
Automated Tagging of Software Projects Using Bytecode and Dependencies (N)
Reasoning about real-time statecharts in the presence of semantic variations
Measuring Object-Oriented Design Principles
Improving source code search with natural language phrasal representations of method signatures
Battery-aware transformations in mobile applications
A Cooperative Program Understanding Environment
Vicious Cycles in Distributed Software Systems
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking
genSpace: Exploring social networking metaphors for knowledge sharing and scientific collaborative work
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
BEST: A symbolic testing tool for predicting multi-threaded program failures
Towards Automatic Imperative Program Synthesis Through Proof Planning
Generating Expected Results for Automated Black-Box Testing
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T)
Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression
Domain-independent method of detecting inconsistencies in SBVR-based business rules
Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? : A Case Study of the Gerrit Community
Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing
Wins and Losses of Algebraic Transformations of Software Architectures
Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method
Using Static Analysis to Aid Monolith to Microservice System Transformation: Tuning Fuzzy c-Means in a VAE-Based GNN Approach
LIV: Loop-Invariant Validation Using Straight-Line Programs
Distribution Models for Falsification and Verification of DNNs
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code
OCELOT: a search-based test-data generation tool for C
Learning to Rank for Question-Oriented Software Text Retrieval (T)
Managing software evolution through semantic history slicing
JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)
The Clem Toolkit
Exploring the neighborhood with dora to expedite software maintenance
Graph-based Incident Aggregation for Large-Scale Online Service Systems
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Learning to verify branching time properties
An empirical study of Android test generation tools in industrial cases
Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients
Using Static Analysis to Address Microservice Architecture Reconstruction
Discovering Likely Program Invariants for Persistent Memory
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
Automatic Translation from UML Specifications to B
Visualizing and Understanding the Internals of Fuzzing
Automated Verification of Multi-Agent Programs
Adaptive Random Test Case Prioritization
DeCo: A Declarative Coordination Framework for Scientific Model Federations
Where to Start: Studying Type Annotation Practices in Python
Synthesizing Mutable Configurations: Setting up Systems for Success
Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, A-Mobile@ASE 2018, Montpellier, France, September 4, 2018
SEALANT: a detection and visualization tool for inter-app security vulnerabilities in Android
Automatically generating and adapting model constraints to support co-evolution of design models
APIExample: An effective web search based usage example recommendation system for java APIs
Sentiment Analysis of User Feedback on Business Processes
Automatically Structuring Textual Requirement Scenarios
Towards automating disambiguation of regulations: using the wisdom of crowds
PYTHIA: Generating test cases with oracles for JavaScript applications
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements
Tracking the Software Quality of Android Applications Along Their Evolution (T)
API Compatibility Issue Detection, Testing and Analysis for Android Apps
Software process evaluation: A machine learning approach
Taxonomy of Security-related Issues in Android Apps: An Empirical Study
The interactive verification debugger: effective understanding of interactive proof attempts
COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Effective Vulnerable Function Identification based on CVE Description Empowered by Large Language Models
Intelligent Code Review Assignment for Large Scale Open Source Software Stacks
PAD: programming third-party web advertisement censorship
Mining structures from massive text data: will it help software engineering?
Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T)
Mapping Software Architectures to Efficient Implementations via Partial Evaluation
Data-Mining Synthesised Schedulers for Hard Real-Time Systems
Configuration-Aware Change Impact Analysis (T)
Symbolic search-based testing
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers
FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures
A Static Analysis for Program Understanding and Debugging
Utilizing the Relationships Between Inconsistencies for more Effective Inconsistency Resolution
BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs
Prober: Practically Defending Overflows with Page Protection
Towards Developer-Centered Secure Coding Training
Deviance from perfection is a better criterion than closeness to evil when identifying risky code
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
Certifying Measurement Unit Safety Polic
'Who built this crap?' Developing a Software Engineering Domain Specific Toxicity Detector
Schema-Guided Synthesis of Constraint Logic Programs
EA-Miner: a tool for automating aspect-oriented requirements identification
Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition
A UML Validation Toolset Based on Abstract State Machines
ARUS: A Tool for Automatically Removing Unnecessary Stubbings from Test Suites
DistIA: a cost-effective dynamic impact analysis for distributed programs
A Tool Suite for the Generation and Validation of Configurations for Software Availability
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
Clearwater: extensible, flexible, modular code generation
Validating Real Time Specifications using Real Time Event Queue Modeling
Proceedings of the 5th International Workshop on Software Mining, SoftwareMining@ASE 2016, Singapore, Singapore, September 3, 2016
Developing Generative Frameworks Using XML
Region and Effect Inference for Safe Parallelism (T)
Gas Estimation and Optimization for Smart Contracts on Ethereum
Extracting Objects from Legacy Imperative Code
Transfer learning of cars behaviors from reality to simulation applications
A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering
Automatic testing of symbolic execution engines via program generation and differential testing
Information flows as a permission mechanism
Detecting information flow by mutating input data
Diver: precise dynamic impact analysis using dependence-based trace pruning
Learning effective changes for software projects
Dynamic Algorithm Selection for SMT
The bounded model checker LLBMC
Why and how JavaScript developers use linters
On Multi-Modal Learning of Editing Source Code
Deviation management during process execution
DIRE: A Neural Approach to Decompiled Identifier Naming
Quick verification of concurrent programs by iteratively relaxed scheduling
Towards automatically generating summary comments for Java methods
Learning Sentiment Analysis for Accessibility User Reviews
An infrastructure for autonomic system development: the selflet approach
Detection of Exclusive OR Global Predicates
InFix: Automatically Repairing Novice Program Inputs
Aspect Mining Using Event Traces
A running leap for embedded signal processing to future parallel platforms
Proof Automation with Large Language Models
Goal-Driven Exploration for Android Applications
Efficient parametric runtime verification with deterministic string rewriting
Constructing adaptive configuration dialogs using crowd data
A Framework for State-Space Exploration of Java-Based Actor Programs
Slicing feature models
Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering
Cleman: Comprehensive Clone Group Evolution Management
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
Better Reasoning About Software Engineering Activities
Automatic Generation of Logical Specifications for Behavioural Models
Software defect prediction using semi-supervised learning with dimension reduction
On Benign Features in Malware Detection
Applying Learning Techniques to Oracle Synthesis
Declarative Specification of Software Architectures
Agent-Based Support for Communication Between Developers and Users in Software Design
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
StraightTaint: decoupled offline symbolic taint analysis
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems
Model-Based Testing of Stateful APIs with Modbat
Mining Temporal Specifications from Object Usage
An implementation of bounded obligations
Report on the Workshop on the State of the Art in Automated Software Engineering
Finding the merits and drawbacks of software resources from comments
Raising healthy software systems
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024
Clone Merge - An Eclipse Plugin to Abstract Near-Clone C++ Methods
Semantic Data Augmentation for Deep Learning Testing Using Generative AI
CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification
Tools for Traceability in Secure Software Development
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
Component-based Systems as an Aid to Design Validation
Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code
Analytics for Software Project Management - Where are We and Where do We Go?
A comprehensive study on real world concurrency bugs in Node.js
How to Train Your Neural Bug Detector: Artificial vs Real Bugs
Java Model Checking
Using AI to Automate the Modernization of Legacy Software Applications
Towards a Formal Framework for Normative Requirements Elicitation
Instructive Code Retriever: Learn from Large Language Model's Feedback for Code Intelligence Tasks
Accelerating Build Dependency Error Detection via Virtual Build
DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation
PeerUnit: a framework for testing peer-to-peer systems
Extracting implicit programming rules: comparing static and dynamic approaches
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge
Modular and Incremental Analysis of Concurrent Software Systems
Adaptability of model comparison tools
Synthesis of schedulers for planned shutdowns of power plants
Integrated tool support for software product line engineering
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties
Migrating from Monoliths to Microservices: Enforcing Correct Coordination
Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report
Empirical research methods for software engineering
Empirical Evaluation of the Impact of Class Overlap on Software Defect Prediction
Implementation science for software engineering: bridging the gap between research and practice (keynote)
Parsimony: an IDE for example-guided synthesis of lexers and parsers
Lightweight control-flow instrumentation and postmortem analysis in support of debugging
37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022
Framework for Trustworthy Software Development
Constraint-Based Test Oracles for Program Analyzers
Interrogation Testing of Program Analyzers for Soundness and Precision Issues
Array Shadow State Compression for Precise Dynamic Race Detection (T)
Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
Derailer: interactive security analysis for web applications
Lightweight collection and storage of software repository data with DataRover
Semistructured Merge with Language-Specific Syntactic Separators
Refinement Types for Visualization
Using Collective Intelligence to Support Multi-objective Decisions: Collaborative and Online Preferences
A vision to mitigate bioinformatics software development challenges
36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021
ReScue: crafting regular expression DoS attacks
The business case for automated software engineering