yusuke1997/dblp-id-title huggingface dataset:
CLCDSA: Cross Language Code Clone Detection using Syntactical Features and API Documentation
A Case for Automatic Exception Handling
Global Decision Making Over Deep Variability in Feedback-Driven Software Development
SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems
Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models
Automated Generation of Ethical Profile-Building Questionnaires
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA
So {U} R CERER: Developer-Driven Security Testing Framework for Android Apps
Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
KnowledgeZooClient: constructing knowledge graph for Android
BenchCloud: A Platform for Scalable Performance Benchmarking
TREM: a tool for mining timed regular specifications from system traces
16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA
Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment
EventFlowSlicer: a tool for generating realistic goal-driven GUI tests
Compiler Auto-Tuning via Critical Flag Selection
Energy wars - Chrome vs. Firefox: which browser is more energy efficient?
Parseweb: a programmer assistant for reusing open source code on the web
What Test Oracle Should I Use for Effective GUI Testing?
A Mocktail of Source Code Representations
Re-founding software engineering - SEMAT at the age of three (keynote abstract)
CrowdService: serving the individuals through mobile crowdsourcing and service composition
Snopy: Bridging Sample Denoising with Causal Graph Learning for Effective Vulnerability Detection
Case Study of Coverage-Checked Random Data Structure Testing
An empirical investigation of how and why developers rename identifiers
A Framework for Testing Chemical Reaction Networks
A language-agnostic model for semantic source code labeling
Taming Multi-Output Recommenders for Software Engineering
Privacy Analysis of Period Tracking Mobile Apps in the Post-Roe v. Wade Era
Measuring the structural complexity of feature models
Towards Improving Code Review Effectiveness Through Task Automation
Semi-Automated Verification of Erlang Code
Learning Highly Recursive Input Grammars
MLOLET - Machine Learning Optimized Load and Endurance Testing: An industrial experience report
Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing
Inferring Resource Specifications from Natural Language API Documentation
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
End-user oriented critic specification for domain-specific visual language tools
Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Automatic mining of constraints for monitoring systems of systems
Xscope: Hunting for Cross-Chain Bridge Attacks
Software synthesis shell SOFTEX/S
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support
KBRAS: A Knowledge-Based Requirements Acquisition System
Model Checking of Domain Artifacts in Product Line Engineering
Exploring the composition of unit test suites
Data Augmentation for Improving Emotion Recognition in Software Engineering Communication
LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform
TRIMMER: application specialization for code debloating
Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools
Driving the selection of cots components on the basis of system requirements
Three Heads Are Better Than One: Suggesting Move Method Refactoring Opportunities with Inter-class Code Entity Dependency Enhanced Hybrid Hypergraph Neural Network
Enhancing the security of gaming transactions using blockchain technology
ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia)
Model-driven reverse engineering of legacy graphical user interfaces
Slicing and replaying code change history
Efficient Greybox Fuzzing to Detect Memory Errors
The knowledge base maintenance assistant
Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
Delta debugging microservice systems
Automating Traceability for Generated Software Artifacts
Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service Systems
Detecting Error-Handling Bugs without Error Specification Input
Clone-Aware Configuration Management
Towards an approach and framework for test-execution plan derivation
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Testing Approach for Mobile Applications through Reverse Engineering of UI Patterns
Combining the Analysis of Spatial Layout and Text to Support Design Exploration
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL
Scheduling of conflicting refactorings to promote quality improvement
PerfLearner: learning from bug reports to understand and generate performance test frames
Renaming and shifted code in structured merging: looking ahead for precision and performance
Research Directions for Automated Software Verification: Using Trusted Hardware
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
The power of software
Code-based automated program fixing
PiE: programming in eliza
A Tool for Automated System Analysis based on Modular Specifications
Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators
FLUX: From SQL to GQL query translation tool
ComplexCodeEval: A Benchmark for Evaluating Large Code Models on More Complex Code
Actionable = Cluster + Contrast?
A Light Bug Triage Framework for Applying Large Pre-trained Language Model
Static Consistency Checking for Distributed Specifications
PeASS: A Tool for Identifying Performance Changes at Code Level
Code Difference Guided Adversarial Example Generation for Deep Code Models
On the Verification of VDM Specification and Refinement with PVS
A Novel Coverage-guided Greybox Fuzzing based on Power Schedule Optimization with Time Complexity
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
Ecosystem evolution analysis and trend prediction of projects in Android application framework
SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice
Scalable and precise symbolic analysis for atomicity violations
Legal Issues on Knowledge-Based Software Engineering
Decision-Making Biases and Cyber Attackers
ADLscope: An Automated Specification-based Unit Testing Tool
Client-specific equivalence checking
Modeling and Simulation of Context-Aware Mobile Systems
The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998
Testing using Log File Analysis: Tools, Methods, and Issues
Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote)
Reducing the Cost of Path Property Monitoring Through Sampling
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Which of My Failures are Real? Using Relevance Ranking to Raise True Failures to the Top
ISPIS: A Framework Supporting Software Inspection Processes
Boreas: an accurate and scalable token-based approach to code clone detection
Explaining Static Analysis - A Perspective
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers
symMMU: symbolically executed runtime libraries for symbolic memory access
Generating Fixes from Object Behavior Anomalies
A code synthesis experiment
Automatic Verification of any Number of Concurrent, Communicating Processes
Understanding Exception-Related Bugs in Large-Scale Cloud Systems
kbe-anonymity: test data anonymization for evolving programs
Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learne
An energy consumption framework for distributed java-based systems
Automated Validation of Software Models
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations
4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08)
Using scenarios to support traceability
A visual interactive debugger based on symbolic execution
An aspect-oriented weaving mechanism based on component and connector architecture
Mashups and modularity: Towards secure and reusable web applications
Evaluating test selection strategies for end-user specified flow-based applications
Cobra - an interactive static code analyzer
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
PURLTL: Mining LTL Specification from Imperfect Traces in Testing
Using Little-JIL to Coordinate Agents in Software Engineering
Botsing, a Search-based Crash Reproduction Framework for Java
Generation of visual editors as eclipse plug-ins
Generating Context-Aware API Calls from Natural Language Description Using Neural Embeddings and Machine Translation
Netstub: a framework for verification of distributed java applications
Adaptive REST API Testing with Reinforcement Learning
Towards Semantic-Based Object-Oriented CASE Tools
Enumeration refactoring: a tool for automatically converting Java constants to enumerated types
BenchPress: Analyzing Android App Vulnerability Benchmark Suites
Integrating Human-Centric Approaches into Undergraduate Software Engineering Education: A Scoping Review and Curriculum Analysis in the Australian Context
Controlled Automation of Consistency Enforcement
TESS: Automated Support for the Evolution of Persistent Types
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
QoS-aware dynamic service composition in ambient intelligence environments
Sosed: a tool for finding similar software projects
Coevolving programs and unit tests from their specification
Defeating Program Analysis Techniques via Ambiguous Translation
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks
Automated testing and notification of mobile app privacy leak-cause behaviours
Test automation for kernel code and disk arrays with virtual devices
Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages
Modular Flow Analysis for Concurrent Software
An Approach for Tracing and Understanding Asynchronous Architectures
Resolving Model Inconsistencies with Automated Planning
Determining the most probable root causes of run-time errors in simulink models
FAIL: Analyzing Software Failures from the News Using LLMs
User-aware privacy control via extended static-information-flow analysis
Rule Chaining in MARVEL: Dynamic Binding of Parameters
Prioritizing Tests for Improved Runtime
Support vector machines for anti-pattern detection
1+1>2: Integrating Deep Code Behaviors with Metadata Features for Malicious PyPI Package Detection
Data Flow Analysis within the ITOC Information System Design Recovery Tool
Test-Driven Development and LLM-based Code Generation
Unsupervised Summarization of Privacy Concerns in Mobile Application Reviews
Testing intermediate representations for binary analysis
IntPTI: automatic integer error repair with proper-type inference
Modeling Programmer Attention as Scanpath Prediction
ASE: A Value Set Decision Procedure for Symbolic Execution
An empirical investigation into the nature of test smells
Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder Model
Coverage rewarded: Test input generation via adaptation-based programming
ADDSS: Architecture Design Decision Support System Tool
Decomposing feature models: language, environment, and applications
Mastering Uncertainty in Performance Estimations of Configurable Software Systems
Automated support for repairing input-model faults
Constraint-based automatic symmetry detection
Jasmine: A Static Analysis Framework for Spring Core Technologies
Effective random testing of concurrent programs
SeSAME: modeling and analyzing high-quality service compositions
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems
Understanding Code Fragments with Issue Reports
A visual language and environment for composing web services
Tell them apart: distilling technology differences from crowd-scale comparison discussions
Expandable group identification in spreadsheets
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Leveraging Data-Driven Analytics for Mobile App Feature Extraction and Recommendations
A Model of Planning and Enactment Support in Complex Software Development Projects
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions
Repairing Programs with Semantic Code Search (T)
L-CMP: an automatic learning-based parameterized verification tool
Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain
Towards efficient and effective automatic program repair
GUI-Based Software Testing: An Automated Approach Using GPT-4 and Selenium WebDriver
Function-Level Vulnerability Detection Through Fusing Multi-Modal Knowledge
PTDETECTOR: An Automated JavaScript Front-end Library Detector
Testing Your Question Answering Software via Asking Recursively
Automating the formalization of product comparison matrices
ScriptEase: Generating Scripting Code for Computer Role-Playing Games
Maktub: Lightweight Robot System Test Creation and Automation
Towards automatic restrictification of CUDA kernel arguments
Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
Where to Go Now? Finding Alternatives for Declining Packages in the npm Ecosystem
Detection of recurring software vulnerabilities
Detection of embedded code smells in dynamic web applications
Application of Natural Language Processing Towards Autonomous Software Testing
Optimistic Shared Memory Dependence Tracing (T)
Efficiently manifesting asynchronous programming errors in Android apps
PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication
Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning
ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps
Upgrading Legacy Instances of Reactive Systems
Market-level analysis of government-backed COVID-19 contact tracing apps
Automatic construction of an effective training set for prioritizing static analysis warnings
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning
Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization
A rule-based approach to the semantic lifting of model differences in the context of model versioning
Language fuzzing using constraint logic programming
Scenario-based and value-based specification mining: better together
Zero-Config Fuzzing for Microservices
Fine-Grained In-Context Permission Classification for Android Apps Using Control-Flow Graph Embedding
Muskit: A Mutation Analysis Tool for Quantum Software Testing
5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023)
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience)
Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation
Supporting automated software re-engineering using re-aspects
Inquire: predicate-based use and reuse
Enhancing Partial-Order Reduction via Process Clustering
Assessment of Automated (Intelligent) Toolchains
Program Synthesis Meets Visual What-Comes-Next Puzzles
Reac2o: a runtime for enterprise system models
Insight: Exploring Cross-Ecosystem Vulnerability Impacts
A First Look at Security Risks of Android TV Apps
LockPeeker: detecting latent locks in Java APIs
Rethinking pointer reasoning in symbolic execution
Attribution-guided Adversarial Code Prompt Generation for Code Completion Models
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Interactive Visualization of Concurrents Programs
Fusion fault localizers
MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation
Anti-patterns for Java Automated Program Repair Tools
Using Simulation to Investigate Requirements Prioritization Strategies
Morest: Industry Practice of Automatic RESTful API Testing
Mendel: Source code recommendation based on a genetic metaphor
The iMPAcT Tool: Testing UI Patterns on Mobile Applications
A Declarative Approach for Designing and Developing Adaptive Components
Repairing Failure-inducing Inputs with Input Reflection
Comparing Model Coverage and Code Coverage in Model Driven Testing: An Exploratory Study
JavaBERT: Training a Transformer-Based Model for the Java Programming Language
A Predictive Analysis for Detecting Deadlock in MPI Programs
Software Engineering Using Autonomous Agents: Are We There Yet?
Automating the Implementation of Analysis Concerns in Workflow Applications
On-the-Fly Generation of K-Path Tests for C Functions
A large-scale study of test coverage evolution
MARBLE: Mining for Boilerplate Code to Identify API Usability Problems
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
GenTree: Inferring Configuration Interactions using Decision Trees
Mining test oracles of web search engines
An Automated Tool for Generating UML Models from Natural Language Requirements
Log Parsing: How Far Can ChatGPT Go?
Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources
An Empirical Study to Evaluate AIGC Detectors on Code Content
VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning
GUITest: a Java library for fully automated GUI robustness testing
An Empirical Study on Numerical Bugs in Deep Learning Programs
AutoComment: Mining question and answer sites for automatic comment generation
Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study
Automated Patch Correctness Assessment: How Far are We?
Differential program analysis with fuzzing and symbolic execution
Demonstration-Free: Towards More Practical Log Parsing with Large Language Models
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network
Mining and Recommending Mobile App Features using Data-driven Analytics
Learning to Construct Better Mutation Faults
Is the 3D model the way to go when presenting microservice architecture?
Model-driven derivation of product architectures
Analyzing Dependencies in Large Component-Based Systems
AutoEPRS-20: extracting business process redesign suggestions from natural language text
Human-Friendly Line Routing for Hierarchical Diagrams
A model transformation approach to automatic model construction and evolution
DUALLY: A framework for Architectural Languages and Tools Interoperability
UI Test Migration Across Mobile Platforms
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs
CoGenTe: a tool for code generator testing
Using knowledge-based transformations to reverse-engineer COBOL programs
Inferring Program Transformations From Singular Examples via Big Code
Taming changes With 1.x-Way architecture-implementation mapping
Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems
Identifying non-natural language artifacts in bug reports
Connecting Programming Environments to Support Ad-Hoc Collaboration
Covert Communication in Mobile Applications (T)
LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning Mechanism
A Framework for Automatic Debugging
MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements
A Hybrid Analysis to Detect Java Serialisation Vulnerabilities
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design
PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing
PyNose: A Test Smell Detector For Python
ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009
Regexes are Hard: Decision-Making, Difficulties, and Risks in Programming Regular Expressions
ADEPT: A Testing Platform for Simulated Autonomous Driving
Variable Feature Usage Patterns in PHP (T)
Can Cooperative Multi-Agent Reinforcement Learning Boost Automatic Web Testing? An Exploratory Study
Characterizing the natural language descriptions in software logging statements
Get Rid of Inline Assembly through Verification-Oriented Lifting
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)
Top-down model-driven engineering of web services from extended OpenAPI models
A Concurrency Test Tool for Java Monitors
Evaluating the relation between changeability decay and the characteristics of clones and methods
Constructing a System Knowledge Graph of User Tasks and Failures from Bug Reports to Support Soap Opera Testing
B-AIS: An Automated Process for Black-box Evaluation of Visual Perception in AI-enabled Software against Domain Semantics
Applying Fuzz Driver Generation to Native C/C++ Libraries of OEM Android Framework: Obstacles and Solutions
A Flexible Rule-Chaining Engine for Process-Based Software Engineering
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance
Configurations in Android testing: they matter
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems
The Knowledge-Based Software Assistant: A Program Summary
Automating the Composition of Middleware Configurations
Feature interaction analysis: a maintenance perspective
Precise identification of composition relationships for UML class diagrams
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)
Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach
Monitoring Programs Using Rewriting
Multi-task Learning based Pre-trained Language Model for Code Completion
Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool
Automatically Detecting Visual Bugs in HTML5 Canvas Games
Automatically generating commit messages from diffs using neural machine translation
Locating faulty code using failure-inducing chops
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software
Get the cogs in synch: time horizon aspects of industry-academia collaboration
Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem
Querying source code with natural language
Supporting Requirements Validation: The EuRailCheck Tool
The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
An adaptive approach to impact analysis from change requests to source code
Automating the identification of variability realisation techniques from feature models
Predicting semantically linkable knowledge in developer online forums via convolutional neural network