yusuke1997/dblp-id-title huggingface dataset:
What Makes a High-Quality Training Dataset for Large Language Models: A Practitioners' Perspective
Composition and Refinement of Behavioral Specifications
Programmatic Testing of the Standard Template Library Containers
Clustering support for automated tracing
An empirical evaluation and comparison of manual and automated test selection
Towards a Comprehensive Test Suite for Detectors of Design Patterns
Flexible, adaptable, and compliant business systems with dynamic condition response graphs
Generic Patch Inference
CAT-LM Training Language Models on Aligned Code And Tests
Refactorings and Technical Debt in Docker Projects: An Empirical Study
Timna: a framework for automatically combining aspect mining analyses
Proving MCAPI executions are correct using SMT
Efficient detection of inconsistencies in a multi-developer engineering environment
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing
An empirical evaluation of two user interfaces of an interactive program verifier
Few-shot training LLMs for project-specific code-summarization
Combining rule-based and information retrieval techniques to assign software change requests
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
A New Way of Automating Statistical Testing Methods
Efficient Formalism-Independent Monitoring of Parametric Properties
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
SABRINE: State-based robustness testing of operating systems
Model-Checking Real-Time Concurrent Systems
SEEDE: simultaneous execution and editing in a development environment
Resilient user interface level tests
JITBot: An Explainable Just-In-Time Defect Prediction Bot
A Portable Compiler-Integrated Approach to Permanent Checking
A model for automatic generating reusable code from multiple GUIs
Analyzing Interaction Orderings with Model Checking
Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements
STARTS: STAtic regression test selection
WaDec: Decompiling WebAssembly Using Large Language Model
Efficient SMT-Based Model Checking for Signal Temporal Logic
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions
Client-side web application slicing
Specialization Patterns
Prioritized Constraint-Aided Dynamic Partial-Order Reduction
Learning-based Assistant for Data Migration of Enterprise Information Systems
Personalized defect prediction
In regression testing selection when source code is not available
Discovering UI Display Issues with Visual Understanding
Mutation Operators for Specifications
Cross-lingual Code Clone Detection: When LLMs Fail Short Against Embedding-based Classifier
Property-preserving program refinement
Automated Data Mapping Specification via Schema Heuristics and User Interaction
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
Approaches to Software Model Inconsistency Management
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware
Software heritage: collecting, preserving, and sharing all our source code (keynote)
Towards supporting evolution of service-oriented architectures through quality impact prediction
DataRecipe - How to Cook the Data for CodeLLM?
Predicting Delays in Software Projects Using Networked Classification (T)
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources
B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests
Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study
Predicting Effectiveness of Automatic Testing Tools
Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring
Automated inference of goal-oriented performance prediction functions
Depiction and Playout of Multi-threaded Program Executions
Are We Ready to Embrace Generative AI for Software Q&A?
A Knowledge and Deduction Based Software Retrieval Tool
Mining concepts from code with probabilistic topic models
Software reuse through view type clusters
VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage
Characterizing Flaky Tests in Node.js Applications
MODA: automated test generation for database applications via mock objects
WebMonitor: Verification of Web User Interfaces
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems
Changing microsoft's build: revolution or evolution
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems
Model checker execution reports
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System
Droidmarking: resilient software watermarking for impeding android application repackaging
Differentially Testing Database Transactions for Fun and Profit
Differential Fuzzing for Data Distribution Service Programs with Dynamic Configuration
An Environment for Building a System out of its Requirements
Towards Adaptive Web Agents
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
Migrating towards microservices: migration and architecture smells
PuMoC: a CTL model-checker for sequential programs
iFeedback: Exploiting User Feedback for Real-Time Issue Detection in Large-Scale Online Service Systems
Integrating model verification and self-adaptation
Program Execution-Based Module Cohesion Measurement
Improving configurable software testing with statistical test selection
Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case Study
Navigating the maze: the impact of configurability in bioinformatics software
Characterizing and taming non-deterministic bugs in JavaScript applications
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
Enablers and impediments for collaborative research in software testing: an empirical exploration
Mining Aspects from Version History
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses
Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning
Application of REFINE Language Tools TM to Software Quality Assurance
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study
Promoting secondary orders of event pairs in randomized scheduling using a randomized stride
Generating test cases to expose concurrency bugs in Android applications
Automated Integrative Analysis of State-based Requirements
Test Sequences Generation from LUSTRE Descriptions: GATeL
Towards automatic model-in-the-loop testing of electronic vehicle information centers
Assessing the Generalizability of Code2vec Token Embeddings
Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing
SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation
Enhancing architectural recovery using concerns
Copy and Paste Redeemed (T)
CHET: A System for Checking Dynamic Specifications
Business Process Extraction Using Static Analysis
Ecological inference in empirical software engineering
Binary Diffing as a Network Alignment Problem via Belief Propagation
Supporting bug investigation using history analysis
Towards a software vulnerability prediction model using traceable code patterns and software metrics
A Journey Towards Providing Intelligence and Actionable Insights to Development Teams in Software Delivery
Towards supporting design phase synthesis
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination
Supporting automated vulnerability analysis using formalized vulnerability signatures
Formal verification techniques for model transformations specified by-demonstration
STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation
Type Inference for Soft-Error Fault-Tolerance Prediction
Vision: Identifying Affected Library Versions for Open Source Software Vulnerabilities
Predicting Software Stability Using Case-Based Reasoning
Application of a Decision Support Mechanism to the Business Rules Lifecycle
Fault-localization using dynamic slicing and change impact analysis
How many of all bugs do we find? a study of static bug detectors
Utilizing Generative AI for VR Exploration Testing: A Case Study
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
Retrieve and Refine: Exemplar-Based Neural Comment Generation
Bus Factor Explorer
The Symptom, Cause and Repair of Workaround
Semi-Supervised Code Translation Overcoming the Scarcity of Parallel Code Data
What do pre-trained code models know about code?
Synthesizing Web Element Locators (T)
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffeeƒ
Using Cluster Analysis to Improve the Design of Component Interfaces
Capacity planning for event-based systems using automated performance predictions
Improving Collaboration Efficiency in Fork-Based Development
A pattern-based approach to parametric specification mining
Research on Test Flakiness: from Unit to System Testing
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows
Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract)
Kadre: domain-specific architectural recovery for scientific software systems
Visualization of combinatorial models and test plans
NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers
Ecological Impact of Native Versus Cross-Platform Mobile Apps: A Preliminary Study
Answering Software Deployment Questions via Neural Machine Reading at Scale
Ensemble Methods for App Review Classification: An Approach for Software Evolution (N)
Software security assurance tools, techniques and metrics (SSATTM)
Designing a serious game: teaching developers to embed privacy into software systems
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software
From comparison matrix to Variability Model: The Wikipedia case study
Verification-driven slicing of UML/OCL models
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
A Differencing Algorithm for Object-Oriented Programs
Static Validation of C Preprocessor Macros
Identifying Sexism and Misogyny in Pull Request Comments
Program concept recognition
An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory
A Specification Language for Static Analysis of Student Exercises
Prototyping Deep Learning Applications with Non-Experts: An Assistant Proposition
Towards automated consistency checks of product line requirements specifications
DSIbin: identifying dynamic data structures in C/C++ binaries
Automated Validation of Class Invariants in C ++ Applications
Pattern-based auto-completion of UML modeling activities
Continuous test generation: enhancing continuous integration with automated test generation
An Industrial Practice for Securing Android Apps in the Banking Domain
The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis
How to Pet a Two-Headed Snake? Solving Cross-Repository Compatibility Issues with Hera
Hybrid Regression Test Selection by Integrating File and Method Dependences
Coding and Debugging by Separating Secret Code Toward Secure Remote Development
Verifying self-adaptive applications suffering uncertainty
Integrating software process models and design rationales
Tolerating Inconsistency in Feature Models
CM-Builder: An Automated NL-Based CASE Tool
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lockheed Environment for Automatic Programming
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM
Extraction and Management of Rationale
Using String Distances for Test Case Prioritisation
Model Checking Task Parallel Programs Using Gradual Permissions (N)
Exploring the requirements of pandemic awareness systems: a case study of COVID-19 using social media data
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015
Automatically recommending code reviewers based on their expertise: an empirical comparison
Data Mining Library Reuse Patterns in User-Selected Applications
C2O: a tool for guided decision-making
Recommending crowdsourced software developers in consideration of skill improvement
Detecting user-visible failures in AJAX web applications by analyzing users' interaction behaviors
Chouette: An Automated Cross-Platform UI Crawler for Improving App Quality
Identification of High-Level Concept Clones in Source Code
Modular verification of interrupt-driven software
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning
Unspeculation
Leveraging syntax-related code for automated program repair
An evaluation scheme of adaptive configuration techniques
ClDiff: generating concise linked code differences
Evaluating Models for Model-Based Debugging
Implementation of Specification Conjunction and Domain Interaction in Rosetta
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010
Dynamically Testing GUIs Using Ant Colony Optimization (T)
Automatically synthesizing SQL queries from input-output examples
Specifying and verifying software
Parf: Adaptive Parameter Refining for Abstract Interpretation
Validation of rule-based reactive systems by sound scenario generalization
Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing
A dynamic analysis to support object-sharing code refactorings
Towards the automatic classification of traceability links
pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems
Toward Evaluation of Deployment Architecture of ML-Based Cyber-Physical Systems
A Knowledge-Based Interface to Promote Software Understanding
The need for context in software engineering (IEEE CS Harlan Mills award keynote)
RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation
Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T)
Evaluating Clone Detection Techniques from a Refactoring Perspective
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software
Batch Alias Analysis
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models
Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems
New Visual Interface for Engineering Use Case Models
Demystifying Template-Based Invariant Generation for Bit-Vector Programs
Automated evaluation of syntax error recovery
18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada
Diagnosing assumption problems in safety-critical products
Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution
A knowledge-based toolkit for software visualisation
Programs Are Abstract Data Types
Embrace your issues: compassing the software engineering landscape using bug reports
GPPT: A Power Prediction Tool for CUDA Applications
AutoODC: Automated generation of Orthogonal Defect Classifications
AppSeer: discovering flawed interactions among Android components
Understanding Developer-Analyzer Interactions in Code Reviews
Understanding and Detecting Performance Bugs in Markdown Compilers
A multi-objective framework for effective performance fault injection in distributed systems
Verification of Picture Generated Code
Finding and Understanding Incompleteness Bugs in SMT Solvers
Subdomain-Based Generality-Aware Debloating
Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering
Taming test inputs for separation assurance
PraPR: Practical Program Repair via Bytecode Mutation
Developing self-verifying service-based systems
Conc-iSE: incremental symbolic execution of concurrent software
VITAS : Guided Model-based VUI Testing of VPA Apps
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling
Automatic Generation of Content Management Systems from EER-Based Specifications
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
DEVIATE: A Deep Learning Variance Testing Framework
CorbFuzz: Checking Browser Security Policies with Fuzzing
Finding architectural flaws using constraints
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts
Error Reporting Logic
Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE)
Functional Representation and Program Debugging
A Metric Based Technique for Design Flaws Detection and Correction
TRAM: A tool for transforming textual requirements into analysis models
Approximation-guided Fairness Testing through Discriminatory Space Analysis
Heuristic Search with Reachability Tests for Automated Generation of Test Programs
Bita: Coverage-guided, automatic testing of actor programs
Minimizing CPU time shortage risks in integrated embedded software
Interfaces for Modular Feature Verification
Lost in Translation: Forgetful Semantic Anchoring
Active code search: incorporating user feedback to improve code search relevance
Reconfigurable run-time support for distributed service component architectures
An empirical study on dependence clusters for effort-aware fault-proneness prediction
The Importance of Accounting for Execution Failures when Predicting Test Flakiness
ecoCode: a SonarQube Plugin to Remove Energy Smells from Android Projects
Testing Database Transaction Concurrency
QuARS Express - A Tool Demonstration
Specification Modeling and Validation Applied to a Family of Network Security Products
A Formal Ontology for Re-Use of Software Architecture Documents
On the nature of commits
Cross-Lingual Transfer Learning Framework for Program Analysis
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
Domain-oriented design environments
On the automatic evolution of an OS kernel using temporal logic and AOP
Instant and Incremental Transformation of Models
Automatic Self-Validation for Code Coverage Profilers
Adequate Reverse Engineering
Bamboo: an architecture modeling and code generation framework for configuration management systems
A First Look at CI/CD Adoptions in Open-Source Android Apps
Efficient Monitoring of Parametric Context-Free Patterns
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis
Verifying Arithmetic in Cryptographic C Programs
Test Suite Design for Code Generation Tools
Combining search-based and constraint-based testing
A real-world case study for automated ticket team assignment using natural language processing and explainable models
Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach
Automated Knowledge Acquisition and Application for Software Development Projects
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
A Comprehensive Study of Privacy Leakage Vulnerability in Android App Logs
Giving Every Modality a Voice in Microservice Failure Diagnosis via Multimodal Adaptive Optimization
Cautious Adaptation of Defiant Components
Domain and value checking of web application invocation arguments
A Generic Approach for Class Model Normalization
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework
Static Typing for Ruby on Rails
Scalable incremental building with dynamic task dependencies
Using Decision Trees to Predict the Certification Result of a Build
Characterizing and detecting resource leaks in Android applications
ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development
Tool support for quality-driven development of software architectures
Tool Support for Analyzing Mobile App Reviews
A Pixel-Level Explainable Approach of Convolutional Neural Networks and Its Application
Architecture Style-Based Calculi for Non-functional Properties
Detecting Requirements Interactions: A Three-Level Framework
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance
Knowledge-based support for scientific programming
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models
Microservice Decomposition Techniques: An Independent Tool Comparison
Dataflow Language for Scriptable Debugging
Prioritizing tests for fault localization through ambiguity group reduction
Why Do Developers Remove Lambda Expressions in Java?
A Type System for Statically Detecting Spreadsheet Errors
SAUML: A tool for symbolic analysis of UML-RT models
Automatically Annotating Sentences for Task-specific Bug Report Summarization
Optimizing customized program coverage
Specification-based Browsing of Software Component Libraries
Verifying Specifications with Proof Scores in CafeOBJ
Proof-based coverage metrics for formal verification
Generating Design Pattern Detectors from Pattern Specifications
Using Deep Learning to Automatically Improve Code Readability
Improving the Comprehension of R Programs by Hybrid Dataflow Analysis
Oppositional Human Factors in Cybersecurity: A Preliminary Analysis of Affective States
Interactive elaboration of generic designs
Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study
EvoMe: A Software Evolution Management Engine Based on Differential Factbase
Consistency Checking in an Infrastructure for Large-Scale Generative
Software Cost Estimation using Fuzzy Decision Trees
Visual Specification of Concurrent Systems
Formal Construction of the Mathematically Analyzed Separation Kernel
Verifying the Option Type with Rely-Guarantee Reasoning
Enriching Compiler Testing with Real Program from Bug Report
A Quantitative Analysis Framework for Recurrent Neural Network
AspectM: UML-Based Extensible AOM Language
Interactive Explanation of Software Systems
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm
Merge Conflict Resolution: Classification or Generation?
Formally Specifying Engineering Design Rationale
Exploring Automatic Specification Repair in Dafny Programs
Using Machine Learning to Synthesize Search Programs
How Effectively Do Code Language Models Understand Poor-Readability Code?
Abstract Data Structure Recognition
Tools for model-based security engineering: models vs. code
Kobold: web usability as a service
A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data
Computing repair trees for resolving inconsistencies in design models
A study of repetitiveness of code changes in software evolution
Understanding performance stairs: elucidating heuristics
Reflection-aware static analysis of Android apps
code_call_lens: raising the developer awareness of critical code
Using Domain Knowledge to Synthesize Routing Software
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base
Making Fair ML Software using Trustworthy Explanation
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
Explaining the Behaviour of Game Agents Using Differential Comparison