yusuke1997/dblp-id-title huggingface dataset:
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++
Tool support for continuous maintenance of state machine models in program code
A Visualization Concept for Hierarchical Object Models
How many pomodoros do professional engineers need to complete a microtask of programming?
Evaluation of string constraint solvers in the context of symbolic execution
Report on the 4th Workshop on Human-Centric Software Engineering & Cyber Security (HCSE&CS 2023)
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
The Potential of One-Shot Failure Root Cause Analysis: Collaboration of the Large Language Model and Small Classifier
Pangolin: An SFL-Based Toolset for Feature Localization
Towards an intelligent domain-specific traceability solution
A Study of User Privacy in Android Mobile AR Apps
Using mobile devices for collaborative requirements engineering
The Effect of Weighted Moving Windows on Security Vulnerability Prediction
Verifying Interactive Web Programs
Pallino: automation to support regression test selection for cots-based applications
A framework for the automatic execution of measurement-based experiments on Android devices
An Automated Framework for Structural Test-Data Generation
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983
An experience report on scaling tools for mining software repositories using MapReduce
DupFinder: integrated tool support for duplicate bug report detection
From Logging to Leakage: A Study of Privacy Leakage in Android App Logs
Towards Immersive Comprehension of Software Systems Using Augmented Reality - An Empirical Evaluation
Rank Learning-Based Code Readability Assessment with Siamese Neural Networks
Green AI Quotient: Assessing Greenness of AI-based software and the way forward
Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
The CORE system: Animation and functional correctness of pointer programs
Evaluating the evaluations of code recommender systems: a reality check
Inferring Method Effect Summaries for Nested Heap Regions
Automatic Software Clustering via Latent Semantic Analysis
Improving the Efficiency of Dependency Analysis in Logical Decision Models
Reducing Features to Improve Bug Prediction
Selection of regression system tests for security policy evolution
An Experience Report of Generating Load Tests Using Log-Recovered Workloads at Varying Granularities of User Behaviour
Metrics for Assessing Gamers' Satisfaction: Exploring the Graphics Factor
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
Magneto: A Step-Wise Approach to Exploit Vulnerabilities in Dependent Libraries via LLM-Empowered Directed Fuzzing
Mutation Analysis for Coq
Inferred dependence coverage to support fault contextualization
Improving efficiency of dynamic analysis with dynamic dependence summaries
Reducing Test Runtime by Transforming Test Fixtures
Sharing and Reuse of Requirements Knowledge
Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Generating reusable web components from mockups
Using communicative acts in interaction design specifications for automated synthesis of user interfaces
Natural language requirements quality analysis based on business domain models
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Engaging with AI: An Exploratory Study on Developers' Sharing and Reactions to ChatGPT in GitHub Pull Requests
Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems
Tracing requirements to tests with high precision and recall
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
AI-driven Java Performance Testing: Balancing Result Quality with Testing Time
Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N)
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects
The electrum analyzer: model checking relational first-order temporal specifications
The rise of the (modelling) bots: towards assisted modelling via social networks
Revisiting the Conflict-Resolving Problem from a Semantic Perspective
A model for systematic monitoring and debugging of starvation bugs in multicore software
iDiff: Interaction-based program differencing tool
Spotting Code Mutation for Predictive Mutation Testing
Loopfrog: A Static Analyzer for ANSI-C Programs
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Finding the Missing Piece: Permission Specification Analysis for Android NDK
Gesture driven smart home solution for bedridden people
Support for architectural smell refactoring
A Quantum Algorithm for Software Engineering Search
Don't Forget Your Roots! Using Provenance Data for Transparent and Explainable Development of Machine Learning Models
SAVVY-WS at a glance: Supporting verifiable dynamic service compositions
Potential biases in bug localization: do they matter?
An Automated and Flexible Multilingual Bug-Fix Dataset Construction System
Predicting recurring crash stacks
Concurrent transformation components using contention context sensors
WASim: Understanding WebAssembly Applications through Classification
The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures
Exploiting Epochs and Symmetries in Analysing MPI Programs
A Formal Syntax for Probabilistic Timed Property Sequence Charts
FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters
Extracting structured data from natural language documents with island parsing
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs
Proximity based weighting of test cases to improve spectrum based fault localization
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
An Automated Framework for Recommending Program Elements to Novices (N)
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming
phpModeler - A Web Model Extractor
Interpolation Guided Compositional Verification (T)
Automated cross-platform inconsistency detection for mobile apps
Automated extraction of architecture-level performance models of distributed component-based systems
Language-Agnostic Static Analysis of Probabilistic Programs
Coding-PTMs: How to Find Optimal Code Pre-trained Models for Code Embedding in Vulnerability Detection?
Repeated Builds During Code Review: An Empirical Study of the OpenStack Community
SALLM: Security Assessment of Generated Code
Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering
Mutation-based Fault Localization of Deep Neural Networks
TeeVML: tool support for semi-automatic integration testing environment emulation
Augmented dynamic symbolic execution
Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
Assessing the type annotation burden
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation
Building autonomic components: The SelfLets approach
Automatic Software Timing Attack Evaluation & Mitigation on Clear Hardware Assumption
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
How Readable is Model-generated Code? Examining Readability and Visual Inspection of GitHub Copilot
UFront: Toward A Unified MLIR Frontend for Deep Learning
Scalable product line configuration: A straw to break the camel's back
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
Multi-modal Attention Network Learning for Semantic Source Code Retrieval
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties
Improving evolutionary class testing in the presence of non-public methods
Discriminating influences among instructions in a dynamic slice
Tracing Execution of Software for Design Coverage
Can I clone this piece of code here?
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants
MutAPK: Source-Codeless Mutant Generation for Android Apps
Dynamic Generation of Python Bindings for HPC Kernels
XSA: eXplainable Self-Adaptation
Towards an Understanding of Developers' Perceptions of Transparency in Software Development: A Preliminary Study
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage
What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing
Model-Driven Development of Mobile Applications
Towards API-specific automatic program repair
Diagnosys: automatic generation of a debugging interface to the Linux kernel
Duplicate issue detection for the Android open source project
Just-In-Time Reactive Synthesis
Using visual dataflow programming for interactive model comparison
Testing Peers' Volatility
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
Domain Modeling - Evolving Research
Systematically Covering Input Structure
Weaving Context Sensitivity into Test Suite Construction
Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy
Context-aware task allocation for distributed agile team
Learning Patterns in Configuration
Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis
Deductive Synthesis of Event-Based Software Architectures
EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery
Improved query reformulation for concept location using CodeRank and document structures
Quacky: Quantitative Access Control Permissiveness Analyzer✱
A model-driven parser generator with reference resolution support
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution
Automated Test Order Generation for Software Component Integration Testing
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation
Industry Practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
Concurrent Engineering support in Software Engineering
EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge
What developers want and need from program analysis: an empirical study
General and Practical Property-based Testing for Android Apps
Automated population of causal models for improved software risk assessment
ElecDaug: Electromagnetic Data Augmentation for Model Repair based on Metamorphic Relation
Characterizing Android App Signing Issues
Augmenting Abstract Syntax Trees for Program Understanding
Crushinator: A framework towards game-independent testing
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
Toward Practical Automatic Program Repair
Automating analysis of qualitative preferences in goal-oriented requirements engineering
SAT-Based Arithmetic Support for Alloy
Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls'
No Strings Attached: An Empirical Study of String-related Software Bugs
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions
Enhancing Compositional Static Analysis with Dynamic Analysis
A Technique for Mutation of Java Objects
Compiler Bug Isolation via Enhanced Test Program Mutation
Tracing software build processes to uncover license compliance inconsistencies
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary
A knowledge-based software process library for process-driven software development
Recommending refactorings based on team co-maintenance patterns
Random Test Run Length and Effectiveness
FinFuzzer: One Step Further in Fuzzing Fintech Systems
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs
Semantic-Enhanced Indirect Call Analysis with Large Language Models
A leader election based deadlock detection algorithm in distributed systems
Sequential circuits for program analysis
Reusing database queries in analogical domains
CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T)
Evaluating non-adequate test-case reduction
Cornucopia : A Framework for Feedback Guided Generation of Binaries
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
COMEX: A Tool for Generating Customized Source Code Representations
Applying graph kernels to model-driven engineering problems
ModelWriter: text and model-synchronized document engineering platform
Semi-Automating Pragmatic Reuse Tasks
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation
RuntimeSearch: Ctrl+F for a running program
GRT: Program-Analysis-Guided Random Testing (T)
Automated test generation for engineering applications
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
Automated planning for software architecture evolution
Automated Performance Validation of Software Design: An Industrial Experience
Audee: Automated Testing for Deep Learning Frameworks
Searching for a Global Algorithm
Flow Permissions for Android
Representing and Reasoning about Dynamic Code
SpiderScan: Practical Detection of Malicious NPM Packages Based on Graph-Based Behavior Modeling and Matching
Design Rationale for Software Maintenanc
A program differencing algorithm for verilog HDL
Diconic addition of failsafe fault-tolerance
Continuous code quality: are we (really) doing that?
Infrastructure in Code: Towards Developer-Friendly Cloud Applications
Distributed Modular Model Checking
Explicit Concern-Driven Development with ArchEvol
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
MRCA: Metric-level Root Cause Analysis for Microservices via Multi-Modal Data
On Secret Management and Handling in Mobile Application Development Life Cycle: A Position Paper
The Classification and Propagation of Program Comments
Leveraging program equivalence for adaptive program repair: Models and first results
An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol
taco: a tool to generate tensor algebra kernels
Enforcing green code with Android lint
ESRO: Experience Assisted Service Reliability against Outages
Unifying Defect Prediction, Categorization, and Repair by Multi-Task Deep Learning
The IntelliJ Platform: A Framework for Building Plugins and Mining Software Data
Contract-based program repair without the contracts
Repairing Regex-Dependent String Functions
What Makes Finite-State Models More (or Less) Testable?
Keynote address: toward compositional software engineering
Predictive Typestate Checking of Multithreaded Java Programs
ArduinoProg: Towards Automating Arduino Programming
MIMIC: locating and understanding bugs by analyzing mimicked executions
Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs
Experiences from Designing and Validating a Software Modernization Transformation (E)
Bridging ontologies and folksonomies to leverage knowledge sharing on the social Web: A brief survey
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures
Living with the Law: Can Automation give us Moore with Less?
A model checking framework for hierarchical systems
Gremlin-ATL: a scalable model transformation framework
Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E)
Privacy as first-class requirements in software development: A socio-technical approach
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification
DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
An Empirical Study on Learning-based Techniques for Explicit and Implicit Commit Messages Generation
Transformation of a semi-formal specification to VDM
GZoltar: an eclipse plug-in for testing and debugging
MD-ART: a test case generation method without test oracle problem
O2O service composition with social collaboration
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
Minimal strongly unsatisfiable subsets of reactive system specifications
DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning
Symbolic state validation through runtime data
Semistructured Merge in JavaScript Systems
Synthesising Interprocedural Bit-Precise Termination Proofs (T)
Automatic loop-invariant generation and refinement through selective sampling
The New Approach to IT Testing : Real Transaction-Based Automated Validation Solution
Visualization-based analysis of quality for large-scale software systems
Model checking distributed systems by combining caching and process checkpointing
Developing the Designer's Toolkit with Software Comprehension Models
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations
Towards a logic-based reconstruction of software configuration management
36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021 - Workshops, Melbourne, Australia, November 15-19, 2021
NeedFeed: taming change notifications by modeling code relevance
Is this class thread-safe? inferring documentation using graph-based learning
ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies
MADE-WIC: Multiple Annotated Datasets for Exploring Weaknesses In Code
Generating essential user interface prototypes to validate requirements
Automating User Notice Generation for Smart Contract Functions
Empirically assessing opportunities for prefetching and caching in mobile apps
BOOM: Experiences in language and tool design for distributed systems (keynote)
Tracking and Analyzing Cross-Cutting Activities in Developers' Daily Work (N)
A Methodology for Human-Centred IoT Collectives Based on Socio-Ethical Policies
Development Emails Content Analyzer: Intention Mining in Developer Discussions (T)
Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores
Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N)
CiD4HMOS: A Solution to HarmonyOS Compatibility Issues
AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian Optimization
Mining revision histories to detect cross-language clones without intermediates
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
Automatic Generation of Test Oracles-From Pilot Studies to Application
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machines
Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation
AML: An Architecture Meta-Language
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
Software Technology Risk Advisor
Personalized First Issue Recommender for Newcomers in Open Source Projects
SYMake: a build code analysis and refactoring tool for makefiles
Lightweight MBT Testing for National e-Health Portal in Norway
LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious Components
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
Software Evolution Management with Differential Facts
Towards mining replacement queries for hard-to-retrieve traces
Do not neglect what's on your hands: localizing software faults with exception trigger stream
Trusted Software Supply Chain
Towards software analysis as a service
From out-place transformation evolution to in-place model patching
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
Enhancing Software Design and Developer Experience Via LLMs
An algebraic specification language for organizational behavior of OOMAS
Semi-automatic generation of metamodels from model sketches
Next Syntactic-Unit Code Completion and Applications
Understanding and Enhancing Issue Prioritization in GitHub
A Review of AI-augmented End-to-End Test Automation Tools
Automatically Detecting Mismatches During Component-based and Model-based Development
From Capability Specifications to Code for Multi-Agent Software
Formal Verification of Masking Countermeasures for Arithmetic Programs
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android
Secure and Usable Requirements Engineering
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph
Application of Formal Methods to the Development of a Software Maintenance Tool
Lancer: Your Code Tell Me What You Need
BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction
Emotions Extracted from Text vs. True Emotions-An Empirical Evaluation in SE Context
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing
An Explainable Automated Model for Measuring Software Engineer Contribution
BuildSonic: Detecting and Repairing Performance-Related Configuration Smells for Continuous Integration Builds
CPA-SymExec: efficient symbolic execution in CPAchecker
Blackbox Observability of Features and Feature Interactions
iSMELL: Assembling LLMs with Expert Toolsets for Code Smell Detection and Refactoring
Generating Concept based API Element Comparison Using a Knowledge Graph
GUICat: GUI testing as a service
APEx: automated inference of error specifications for C APIs
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach
Automatic Synthesis of Distributed Systems
Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context
Towards the generation of machine learning defect reports
CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
Government Mobile Apps: Analysing Citizen Feedback via App Reviews
A context-sensitive structural heuristic for guided search model checking
Reducing interactive refactoring effort via clustering-based multi-objective search
Detecting fragile comments
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
Feature Interaction Detection in the Automotive Domain
Challenges in Secure Engineering of Critical Infrastructure Systems
Identifying future field accesses in exhaustive state space traversal
Automatic recommendation of move method refactorings using clustering ensembles
Domain abstractions in requirements engineering: an exemplar approach?
CANAL: a cache timing analysis framework via LLVM transformation
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems
Crust: A Bounded Verifier for Rust (N)
Refactorings for Android Asynchronous Programming
Automatic Generation of Object Usage Specifications from Large Method Traces
Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues
Automatic generation of load tests
Automatic prediction of bug fixing effort measured by code churn size
An extensible framework for variable-precision data-flow analyses in MPS
Redundancy and Concept Analysis for Code-trained Language Models
Model checking graph representation of precise boolean inter-procedural flow analysis
Towards a Serverless Java Runtime
A qualitative study on user guidance capabilities in product configuration tools