yusuke1997/dblp-id-title huggingface dataset:
Inner oracles: input-specific assertions on internal states
Inferring test results for dynamic software product lines
Preventing signedness errors in numerical computations in Java
Finding and understanding bugs in software model checkers
Formulation and preliminary test of an empirical theory of coordination in software engineering
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java
Learning for test prioritization: an industrial case study
The work of Dean Rosenzweig: a tribute to a scientist and an innovator
AI: a lightweight system for tolerating concurrency bugs
Reactive dynamic architectures
Facilitating software evolution research with kenyon
What improves developer productivity at google? code quality
Navigation and exploration in 3D-game automated play testing
Guided code synthesis using deep neural networks
RULER: discriminative and iterative adversarial training for deep neural network fairness
Proceedings of the 1st ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering, EnSEmble@ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 4, 2018
HeaderSplit: An Automated Tool for Splitting Header Files in C Projects
Automatic steering of behavioral model inference
A reuse-based approach to the correct and automatic composition of web-services
Proceedings of the 1st international workshop on Quality of service-oriented software systems, QUASOSS '09, Amsterdam, The Netherlands, August 25, 2009
EVMFuzzer: detect EVM vulnerabilities via fuzz testing
Why we refactor? confessions of GitHub contributors
Requirements engineering at the margins: avoiding technological hubris through alternative approaches
Exploring the evolution of software practices
Investigating and improving log parsing in practice
From multi-modal scenarios to code: compiling LSCs into aspectJ
Overcoming metric diversity in meta-analysis for software engineering: proposed approach and a case study on its usage on the effects of software reuse
Social network analysis in open source software peer review
DiagDroid: Android performance diagnosis via anatomizing asynchronous executions
NeuRI: Diversifying DNN Generation via Inductive Rule Inference
A platform for diversity-driven test amplification
LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents
On the efficiency of automated testing
Mining assumptions for software components using machine learning
Self organising software architectures
Test patterns for IoT
Real-time incident prediction for online service systems
Do bugs lead to unnaturalness of source code?
SelfMotion: a declarative language for adaptive service-oriented mobile apps
Toward user-defined element types and architectural styles
Finding schedule-sensitive branches
Top ten ways to make formal methods for HPC practical
Mart: a mutant generation tool for LLVM
Using software theater for the demonstration of innovative ubiquitous applications
TraceCRL: contrastive representation learning for microservice trace analysis
Do the machine learning models on a crowd sourced platform exhibit bias? an empirical study on model fairness
CLTSA: labelled transition system analyser with counting fluent support
Quantifying the benefits of code hints for refactoring deprecated Java APIs
Making invisible things visible: tracking down known vulnerabilities at 3000 companies (showcase)
DeepDev-PERF: a deep learning-based approach for improving software performance
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems
Modelling and managing software federations
What do software engineers care about? gaps between research and practice
Proceedings of the 4th International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI 2022, Singapore, Singapore, 18 November 2022
Taming architectural evolution
MuRS: Mutant Ranking and Suppression using Identifier Templates
The implications of method placement on API learnability
Architecture recovery in ARES
Reinforcement learning for Android GUI testing
Directed test suite augmentation: techniques and tradeoffs
Measuring What Matters: An Aggregate Metric for Assessing Enterprise Code Summaries
Sample size vs. bias in defect prediction
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
HISyn: human learning-inspired natural language programming
Change-point detection for black-box services
A framework for defining the dynamic semantics of DSLs
Empirical study of transformers for source code
Questions developers ask while diagnosing potential security vulnerabilities with static analysis
To Co-locate or Not to Co-locate? On the Impact of Hybrid Work to Software Design Process
The story of moose: an agile reengineering environment
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript
Expressiveness in architecture description languages
Quality and productivity outcomes relating to continuous integration in GitHub
The 4ps: product, process, people, and productivity: a data-driven approach to improve software engineering (keynote)
The universe model: an approach for improving the modularity and reliability of concurrent programs
Cooperative kernels: GPU multitasking for blocking algorithms
Managing analytical complexity of safety critical systems using viewpoints
TaintStream: fine-grained taint tracking for big data platforms through dynamic code translation
Unlocking Insights From Multimodal Data for IT Automation
Feature-interaction aware configuration prioritization
Detecting and preventing the architectural roots of bugs
Users beware: preference inconsistencies ahead
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems
Fault Diagnosis for Test Alarms in Microservices through Multi-source Data
Tailoring software architecture concepts and process for mobile application development
USMMC: a self-contained model checker for UML state machines
Discovering feature flag interdependencies in Microsoft office
Testing of autonomous driving systems: where are we and where should we go?
QEMU-based framework for non-intrusive virtual machine instrumentation and introspection
Lightweight extraction of syntactic specifications
Towards an MDE-based approach to test entity reconciliation applications
Comparing architectural styles: broker specializes mediator
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel
Exempla gratis (E.G.): code examples for free
Architectural decision forces at work: experiences in an industrial consultancy setting
Information retrieval and spectrum based bug localization: better together
Implementing microlearning and gamification techniques in teaching software project management concepts
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints
aPET: a test case generation tool for concurrent objects
Documenting evidence of a reuse of 'a systematic literature review of techniques and metrics to reduce the cost of mutation testing'
Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models
An empirical study of code clone genealogies
Self-Supervised Query Reformulation for Code Search
Decoding CI/CD Practices in Open-Source Projects with LLM Insights
Predicting breakdowns in cloud services (with SPIKE)
The State of Survival in OSS: The Impact of Diversity
An extensive study of static regression test selection in modern software evolution
Ever-Improving Test Suite by Leveraging Large Language Models
View-based mechanisms for structured and distributed enactment
Viewpoints in object database systems
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions
FITE: future integrated testing environment
VT-revolution: interactive programming tutorials made possible
An empirical study of blockchain system vulnerabilities: modules, types, and patterns
BDCI: behavioral driven conflict identification
Variability management with feature-oriented programming and aspects
A type-level approach to component prototyping
AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
Automated scenario-based integration testing of distributed systems
N-version programming in WCET analysis: revisiting a discredited idea
Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned
Benchmarking automated GUI testing for Android against real-world bugs
SLEDE: lightweight verification of sensor network security protocol implementations
Findings from teaching entrepreneurship to undergraduate multidisciplinary students: case study
Powering the static driver verifier using corral
DeepCrash: deep metric learning for crash bucketing based on stack trace
Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods
UEDashboard: awareness of unusual events in commit histories
Proceedings of the 1st International Workshop on Crowd-based Software Development Methods and Technologies, CrowdSoft 2014, Hong Kong, China, November 17, 2014
Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation
What makes a good bug report?
Regression testing of web applications using Record/Replay tools
Continous deployment of multi-cloud systems
Optimizing test prioritization via test distribution analysis
Analysis of the transition to a virtual learning semester in a college software testing course
Separation of concerns for dependable software design
Interface automata
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
CLAPP: characterizing loops in Android applications (invited talk)
Mitigating power side channels during compilation
Leveraging Large Language Models for the Auto-remediation of Microservice Applications: An Experimental Study
Differential symbolic execution
Compositional dependability modeling using arcade: abstract for the keynote talk
WebJShrink: a web service for debloating Java bytecode
Software security during modern code review: the developer's perspective
Hotspot symbolic execution of floating-point programs
Feature-based evaluation of competing apps
Improving the software testing skills of novices during onboarding through social transparency
Communicating software testing culture through visualizing testing activity
Cozy: synthesizing collection data structures
Version-consistent dynamic reconfiguration of component-based distributed systems
Correlates of programmer efficacy and their link to experience: a combined EEG and eye-tracking study
3CAP: categorizing the cognitive capabilities of Alzheimer's patients in a smart home environment
Managing lots of models: the FaMine approach
Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research
Software development is program transformation
Multi-layered approach for recovering links between bug reports and fixes
Reducing DNN labelling cost using surprise adequacy: an industrial case study for autonomous driving
Checking Relational Specifications With Binary Decision Diagrams
Subject-observer specification with component-interaction automata
Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing
LibKit: Detecting Third-Party Libraries in iOS Apps
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems
Enhancing Code LLM Training with Programmer Attention
Exploring the patterns of social behavior in GitHub
On-demand strong update analysis via value-flow refinement
Evaluating recommended applications
Multiple view software process support using the MultiView architecture
Effective test suites for mixed discrete-continuous stateflow controllers
Automatically deriving pointer reference expressions from binary code for memory dump analysis
Software engineering for mathematics (keynote)
Reconciling software configuration management and product data management
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems
No issue left behind: reducing information overload in issue tracking
An IR-based approach towards automated integration of geo-spatial datasets in map-based software systems
Architecture support for global business objects: requirements and solutions
Detecting, isolating, and enforcing dependencies among and within test cases
Test Polarity: Detecting Positive and Negative Tests
20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012
SRRS: a recommendation system for security requirements
DRACO: discovering refactorings that improve architecture using fine-grained co-change dependencies
Automated assistance for conflict resolution in multiple perspective systems analysis and operation
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels
Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool
Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk
An empirical methodology for introducing software processes
A logical revolution (keynote)
Quantifying no-fault-found test failures to prioritize inspection of flaky tests at Ericsson
An empirical study of GUI widget detection for industrial mobile games
CSSL: a logic for specifying conditional scenarios
A framework for estimating the energy consumption induced by a distributed system's architectural style
Solving complex path conditions through heuristic search on induced polytopes
Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA
Do crosscutting concerns cause modularity problems?
Generating effective test cases for self-driving cars from police reports
Probabilistic dataflow analysis using path profiles on structure graphs
Mining micro-practices from operational data
Peer-to-peer information systems: concepts and models, state-of-the-art, and future systems
A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction
Recommending Analogical APIs via Knowledge Graph Embedding
From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps
Cherry-picking of code commits in long-running, multi-release software
Rethinking Software Engineering in the Era of Foundation Models: A Curated Catalogue of Challenges in the Development of Trustworthy FMware
A framework for characterization and analysis of software system scalability
Thoughts on automated software design and synthesis
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse
Automatically detecting missing cleanup for ungraceful exits
Architecture challenges for internal software ecosystems: a large-scale industry case study
A refinement calculus for software components and architectures
Building Software Engineering Capacity through a University Open Source Program Office
Uncertainty-aware architectural interface
Vector abstraction and concretization for scalable detection of refactorings
Approaches to testing service-oriented software systems
KGAMD: an API-misuse detector driven by fine-grained API-constraint knowledge graph
A basis for performance property prediction of ubiquitous self-adapting systems
Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community
Studying developer gaze to empower software engineering research and practice
Hub companies shaping the future: the ethicality and corporate social responsibility of platform economy giants
Towards counterexample-guided k-induction for fast bug detection
IDE 2.0: collective intelligence in software development
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community
Reflections on the REST architectural style and "principled design of the modern web architecture" (impact paper award)
Snap forensics: a tradeoff between ephemeral intelligence and persistent evidence collection
Automated End-to-End Dynamic Taint Analysis for WhatsApp
SOBER: statistical model-based bug localization
Static asynchronous component misuse detection for Android applications
Sound and efficient concurrency bug prediction
jAST: Analyzing and Modifying Java ASTs with Python
Detecting speech act types in developer question/answer conversations during bug repair
Auto-completing bug reports for Android applications
Robust log-based anomaly detection on unstable log data
Recovering clear, natural identifiers from obfuscated JS names
Clustering test steps in natural language toward automating test automation
Building advanced mechatronic systems
Detecting object usage anomalies
A comprehensive study on learning-based PE malware family classification methods
Designing personalized learning environments through monitoring and guiding user interactions with code and natural language
Proceedings of the 6th International Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2022, Singapore, Singapore, 18 November 2022
Graph grammars and constraint solving for software architecture styles
Automate Text Processing for Schematically Analyzing Legal Texts
Humanities in the Center of Data Usability: Data Visualization in Institutional Research Repositories
Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 47th German Conference on Artificial Intelligence, September 23 - September 27, 2024: Würzburg, Germany (KI 2024), Würzburg, Germany, September 23, 2024
Human-Centred Open-Source Automatic Text Recognition for the Humanities with OCR4all
FrESH - Feedback-reliant Enhancement of Subjective Content Descriptions by Humans
Bridging the Gap between Theory and Practice: Towards Responsible AI Evaluation
Multimodal Artefacts: Exploring Vision-Language Models to Bridge the Modalities of Historical Written Artefacts
Proceedings of the Workshop on Humanities-Centred Artificial Intelligence co-located with 46th German Conference on Artificial Intelligence, September 26 - September 29, 2023: Berlin, Germany (KI2023), Berlin, Germany, September 26, 2023
Retrieving Information Presented on Webpages Using Large Language Models: A Case Study
Tracing the Palola Shahi Royal Genealogy by Fusing LLMs and Databases?: A Case Study
Testing the Syntactic Competence of Large Language Models with a Translation Task
Fine-tuning BERT Models on Demand for Information Systems Explained Using Training Data from Pre-modern Arabic
From Data Acquisition to Latent Semantic Analysis: Developing VERITRACE's Computational Approach to Tracing the Influence of Ancient Wisdom in Early Modern Natural Philosophy
On Domain-specific Topic Modelling Using the Case of a Humanities Journal
Federated Information Retrieval in Cross-Domain Information Systems
Persistent Data, Sustainable Information
Stitching giga pixel images using parallel computing
A parallel error diffusion implementation on a GPU
Real-time image deconvolution on the GPU
A GPU accelerated PDF transparency engine
Advanced MRI reconstruction toolbox with accelerating on GPU
Acceleration of the Retinex algorithm for image restoration by GPGPU/CUDA
Parallel processing considerations for image recognition tasks
Video transcoding using GPU accelerated decoder
A parallel implementation of 3D Zernike moment analysis
Real-time 3D flash ladar imaging through GPU data processing
Accelerating image recognition on mobile devices using GPGPU
GPU-completeness: theory and implications
Visualization assisted by parallel processing
Experience with imaging algorithms on multiple core CPUs
Infrared small target tracking based on SOPC
Integrated parallel printing systems with hypermodular architecture
Proceedings of the Conference on Parallel Processing for Imaging Applications 2011, San Francisco Airport, CA, USA, January 24-25, 2011
Computational scalability of large size image dissemination
Highly scalable digital front end architectures for digital printing
GPGPU real-time texture analysis framework
Automatic distribution of vision-tasks on computing clusters
Performance evaluation of canny edge detection on a tiled multicore architecture
GPU color space conversion
A novel parallel algorithm for airport runway segmentation in satellite images using priority directional region growing strategy based on ensemble learning
A parallel impulse-noise detection algorithm based on ensemble learning for switching median filters
Multi-view stereo reconstruction via voxel clustering and optimization of parallel volumetric graph cuts
Evaluation of CPU and GPU architectures for spectral image analysis algorithms
Using a commercial graphical processing unit and the CUDA programming language to accelerate scientific image processing applications
Parallel training and testing methods for complex image processing algorithms on distributed, heterogeneous, unreliable, and non-dedicated resources
Ranking of Mathematical Equations within a Scientific Document
Tweet Emotion Mapping: Understanding US Emotions in Time and Space
A Semantic and Rule Based Technique and Inference Engine for Discovering Real Estate Units in Building Information Models
Evolutionary Heuristic A* Search: Heuristic Function Optimization via Genetic Algorithm
Computational Simulation of Artificial Nanoparticles Paths
Investigating the Added Value of Combining Regression Results from Different Window Lengths
A Defense Method against Poisoning Attacks on IoT Machine Learning Using Poisonous Data
A Novel Two-Stage System for Detecting and Tracking Events in Twitter
A Hybrid Approach for Artwork Recommendation
A Hybrid Video-to-Text Summarization Framework and Algorithm on Cascading Advanced Extractive- and Abstractive-based Approaches for Supporting Viewers' Video Navigation and Understanding
A Survey on Open Set Recognition
Android Malware Detection Based on Useful API Calls and Machine Learning
Improve Image Classification Tasks Using Simple Convolutional Architectures with Processed Metadata Injection
Improving Image Classification using Triple-GAN: A Fusion of Generative Adversarial Networks and Transfer Learning
Efficient graph representation framework for chemical molecule similarity tasks
Multi-agent Strategy for Marine Applications via Temporal Planning
Natural Language Explanations of Classifier Behavior
Adversarial Imitation Learning between Agents with Different Numbers of State Dimensions
On Continuous Integration / Continuous Delivery for Automated Deployment of Machine Learning Models using MLOps
Computational Semantics: How to solve the suspense of supersense
Fast Graph Exploration by a Mobile Robot
QLiG: Query Like a Graph For Subgraph Matching
Privacy-preserving Sharing of Industrial Maintenance Reports in Industry 4.0
Hierarchical Rules for Knowledge Representation and Learning
Adaptive Structural Learning of Deep Belief Network for Medical Examination Data and Its Knowledge Extraction by Using C4.5
Multi-Class Classification with Asymmetric Error Control for Medical Disease Diagnosis
A Channel Selection Approach Based on Convolutional Neural Network for Multi-channel EEG Motor Imagery Decoding
Scalable Deep Learning through Fuzzy-Based Clustering in Autonomous Systems
Knowledge Engineering for Competence Assessment on Serious Games Based on Semantic Web
5th IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2022, Laguna Hills, CA, USA, September 19-21, 2022
Using Event Log Timing Information to Assist Process Scenario Discoveries
Fourth IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021, Laguna Hills, CA, USA, December 1-3, 2021
An approach for recommending relevant articles in news portal based on Doc2Vec
The Cyber Security of Battery Energy Storage Systems and Adoption of Data-driven Methods