yusuke1997/dblp-id-title huggingface dataset:
A Washing Machine is All You Need? On the Feasibility of Machine Data for Self-Supervised Human Activity Recognition
Modelling Reminder System for Dementia by Reinforcement Learning
FootbSense: Soccer Moves Identification Using a Single IMU
Interpretable AI for Decision Support for Mobility Changes of Older Adults
BeSound: Bluetooth-Based Position Estimation Enhancing with Cross-Modality Distillation
Bento Packaging Activity Recognition with Convolutional LSTM Using Autocorrelation Function and Majority Vote
Lunch-Box Preparation Activity Understanding from Motion Capture Data Using Handcrafted Features
Can Ensemble of Classifiers Provide Better Recognition Results in Packaging Activity?
Bento Packaging Activity Recognition from Motion Capture Data
Recognition of Endotracheal Suctioning Activities: A Feature Extraction and Ensemble Learning Approach Based on Pose Estimation Data
Using Human Body Capacitance Sensing to Monitor Leg Motion Dominated Activities with a Wrist Worn Device
Bento Packaging Activity Recognition Based on Statistical Features
Summary of the Bento Packaging Activity Recognition Challenge
Daily Routine Recognition from Longitudinal, Real-Life Wearable Sensor Data for the Elderly
Classification of Nursing Care Activities Using Smartwatches
Optimizing Endotracheal Suctioning Classification: Leveraging Prompt Engineering in Machine Learning for Feature Selection
Leveraging Large Language Models for Activity Recognition in Smart Environments
Toward the Analysis of Office Workers' Mental Indicators Based on Wearable, Work Activity, and Weather Data
BoxerSense: Punch Detection and Classification Using IMUs
Exploring Algorithmic Explainability: Generating Explainable AI Insights for Personalized Clinical Decision Support Focused on Cannabis Intoxication in Young Adults
PupilSense: Detection of Depressive Episodes through Pupillary Response in the Wild
Open-Source Data Collection for Activity Studies at Scale
Maintenance Required: Updating and Extending Bootstrapped Human Activity Recognition Systems for Smart Homes
An Utterance is Enough to the gaze? Gaze Detection from Utterance Information in Multiparty Discussion
Using LUPI to Improve Complex Activity Recognition
Using K-Nearest Neighbours Feature Selection for Activity Recognition
Advancing Human Activity Recognition Using Ultra-Wideband Channel Impulse Response Snapshots
Attempts Toward Behavior Recognition of the Asian Black Bears Using an Accelerometer
The Future of Beyond 5G Sensing: Transforming Activity Recognition with Reconfigurable Intelligent Surfaces
Evaluation of Event-Based and Timing Features from Head Movement and Eye Activity for Wearable Task Transition Detection
Evaluating Deep Learning Models for Posture and Movement Recognition During the ABCDE Protocol in Nurse Education
Multi-View Bangla Sign Language Recognition: A New Word-Level Video Dataset
Sensor Data Augmentation from Skeleton Pose Sequences for Improving Human Activity Recognition
Proposal and Evaluation of a Personal Authentication Method Using Insole-Type Gait Sensors
A Data-Driven Approach for Online Pre-impact Fall Detection with Wearable Devices
Fall Detection by Ambient Sensors on Years-Long Simulation Data
Transition Between Different Working Areas: Vertical Integration Tools
Summary and Reuse
Building Tightly Integrated Software Development Environments: The IPSEN Approach
Generating Single Document Processing Tools
Summary and Specification Lessons Learned
Tight Integration on One Document: The Programming Environment
Summary of Tools: Variety, UI Characteristics, and Flexibility
Specification in the Large for Graph Grammars
The Formal Background of PROGRES
Integration of Different Perspectives: The Requirements Engineering Environment
Execution Tools Within Environments
Introduction to the Specification Language PROGRES
Conclusion: Summary, Evaluation, and Vision
An Adaptable and Reactive Project Management Environment
Overview: Introduction, Classification, and Global Approach
Developing Tools with the PROGRES Environment
Specification of Integration Tools
Current and future work, open problems
Specification of Logical Documents and Tools
GRAS: A Graph-Oriented Software Engineering Database System
Specification of the Management of Products, Processes, and Reseources
Reuse in the Central Part: The Structure of Logical and Representation Documents, Parser, and Unparser
The outside perspective: Tools, environments, their integration, and user interface
Internal conceptual modeling: Graph grammar specifications
Specific Application Environments
Realization of Incremental Integration Tools
Realizing Management Environments and Embedding Technical Environments
Integration on Coarse-Grained Level: Tools for Managing Products, Processes, and Resources
Summary and Synergy
Document Type Independent Tools: Common Services for Manipulation, Layout, and User Support
Distributed Aspects of Integrated Systems
Realization: Derivation of efficient tools
The Framework Revisited: A More Detailed View on the IPSEN Architecture
The OpenTOSCA Ecosystem - Concepts & Tools
Enabling Clouds in Community Networks
European Project Space on Computer Vision, Graphics, Optics and Photonics, Berlin, Germany, February 28, 2015
Knowledge Management Theory Creation in Healthcare Environment
Advanced Texture Analysis Techniques for Building Textural Models, with Applications in the Study of the Pathology Evolution Stages, based on Ultrasound Images
Advanced Cloud Document System
Semantic Spatial Reasoning in the Context of the ALErT Project
C3SL - From Education to Public Transparency, Fifteen Years Developing Computer Systems for the Brazilian Society
Next Generation Emergency Services - The Transformation Launched by the NEXES Action
The ASSISTANT Project - Independence Though Mobility
Transversal Skills in Dentistry - Content and Language Integrated Learning Approach
The TRAMA Project
Personalized Patient Empowerment and Shared Decision Support for Cardiorenal Disease and Comorbidities
OPEN-SME - Component Certification for Open Source Reuse
European Project Space on Research and Applications of Information, Communication Systems, Knowledge Technology and Health Applications, Lisbon, Portugal, July 20-23, 2015
GAME-ABLING: Platform of Games for People with Cerebral Palsy
Project Cloud TRANSIT - Or to Simplify Cloud-native Application Provisioning for SMEs by Integrating Already Available Container Technologies
Geomatics as Effective Environmental Monitoring Support
European Project Space on Networks, Systems and Technologies, Porto, Portugal, February 19-1, 2017
Development and Application in Clinical Routine of Computer-aided Diagnosis Systems for the Early Detection of Lung Cancer - State-of-Art and Future Challenges
WAZIUP - An Internet of Things and Big Data Platform to Boost Innovation in Rural Africa
Tools to Retrieve Reliable Health Information on the Internet - Improvements of the Automated Detection of HONcode Criteria for Mass Health Online Content
European Project Space on Intelligent Technologies, Software engineering, Computer Vision, Graphics, Optics and Photonics, Rome, Italy, February 21-29, 2016
Secure Hardware-Software Architectures for Robust Computing Systems - SHARCS
Web-based Application for Museum Services
From ESPRIT to H2020: The Evolution of ICT in the European Research Framework Programmes
LA3NET - Laser Applications at Particle Accelerators
European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports, Rome, Italy, October 21-26, 2014
Methods for Hemodynamic Parameters Measurement using the Laser Speckle Effect in Macrocirculation
European Space project on Smart Systems, Big Data, Future Internet - Towards Serving the Grand Societal Challenges, Rome, Italy, April 21-28, 2016
Intra Vehicular Wireless Channel Measurements
Automatic Detection of Challenging Behaviour of People with Dementia and Identification of Intervention Strategies - Requirements and Challenges
Protein Robots Designed on Actin Filament Networks
NECOMA - Nippon-European Cyberdefense-Oriented Multilayer Analysis
CoherentPaaS - A Coherent and Rich PaaS with a Common Programming Model
AColDSS: Robust Unsupervised Automatic Color Segmentation System for Noisy Heterogeneous Document Images
Configure, Generate, Run - Model-based Development for Big Data Processing
Increasing Fault Tolerance in Operational Centres using Human Sensing Technologies: Approach and Initial Results
An Innovative Web Application for Advanced Library Services
Hudup - A Framework of E-commercial Recommendation Algorithms
A Numerical Data Standard Joining Units, Numerical Accuracy and Full Metadata with Numerical Values
Mixed Emotions - Social Semantic Emotion Analysis for Innovative Multilingual Big Data Analytics Markets
STARR - Decision SupporT and self-mAnagement system for stRoke survivoRs Vision based Rehabilitation System
Wireless Sensor Network for Water Quality Monitoring
European Project Space on Information and Communication Systems, Angers, France, February, 2015
Critical Infrastructure Asset Identification - An Objective-based Decision
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project
Scalable and Efficient Big Data Analytics - The LeanBigData Approach
PEGASO Fit for Future
Geometric Enrichment of Digital Building Data in the DURAARK Project
Mobile Phones App to Promote Daily Physical Activity: Theoretical Background and Design Process
Testing Dafny (experience paper)
LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator
Personalized Fuzzing: A Case Study with the FANDANGO Fuzzer on a GNSS Module (Short Paper)
Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Static latency tracking with placement types
Lightweight automated detection of unsafe information leakage via exceptions
Automated testing of image captioning systems
LPR: Large Language Models-Aided Program Reduction
Automated test generation for REST APIs: no time to rest yet
White-box testing of behavioral web service contracts with Pex
Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation
Architecture-based testing using goals and plans
Using model checking with symbolic execution to verify parallel numerical programs
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010
Run-time conformance checking of mobile and distributed systems using executable models
Modeling and verification of an air traffic concept of operations
On-the-fly detection of data races in OpenMP programs
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009
Recovering the toolchain provenance of binary code
Profiling of real-world web applications
Ma11y: A Mutation Framework for Web Accessibility Testing
Guardian: A Runtime Framework for LLM-Based UI Exploration
Domain Adaptation for Code Model-Based Unit Test Case Generation
Managing concurrent testing of data race with ComRaDe
Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests
Robustness against the C/C++11 Memory Model
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004
LibID: reliable identification of obfuscated third-party Android libraries
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs
From typestate verification to interpretable deep models (invited talk abstract)
Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Towards Automated Bounded Model Checking of API Implementations
Exploiting community structure for floating-point precision tuning
Interface grammars for modular software model checking
Reasoning about MLIR Semantics through Effects and Handlers
Verification of variable service orchestrations using model checking
Combining model-based and combinatorial testing for effective test case generation
Java replay for dependence-based debugging
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
DSD-Crasher: a hybrid analysis tool for bug finding
Optimizing selection of competing features via feedback-directed evolutionary algorithms
Extending dynamic constraint detection with disjunctive constraints
Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Toward Automated Detecting Unanticipated Price Feed in Smart Contract
Semantic Constraint Inference for Web Form Test Generation
Testing Races in Parallel Programs with an OtOt Strategy
Advanced code coverage analysis using substring holes
Debugging in Parallel
Reproducible testing of distributed software with middleware virtualization and simulation
Issues in the Full Scale Use of Formal Methods for Automated Testing
EvoSpex: A Search-Based Tool for Postcondition Inference
Modular verification of code with SAT
Test input generation with java PathFinder
ε-weakened robustness of deep neural networks
Detecting inconsistencies via universal reachability analysis
Towards regression test selection for AspectJ programs
An infrastructure approach to improving effectiveness of Android UI testing tools
Hybrid Fuzzing of Infrastructure as Code Programs (Short Paper)
LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems
Verifying digital systems with MATLAB
Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025
An approach for modeling dynamic analysis using ontologies
Integrated energy-directed test suite optimization
Compositional load test generation for software pipelines
Simple techniques work surprisingly well for neural network test prioritization and active learning (replicability study)
RegMiner: towards constructing a large regression dataset from code evolution history
Pegasus: automatic barrier inference for stable multithreaded systems
ATUA: an update-driven app testing tool
Modeling mobile application test platform and environment: testing criteria and complexity analysis
Abstracting failure-inducing inputs
Automated patch backporting in Linux (experience paper)
Finding what's not there: a new approach to revealing neglected conditions in software
AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation
1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Analysis of invariants for efficient bounded verification
RVPLAN: a general purpose framework for replanning using runtime verification
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, QUDOS@ISSTA 2016, Saarbrücken, Germany, July 21, 2016
Practical regression test selection with dynamic file dependencies
Reusing constraint proofs for scalable program analysis
Modular call graph construction for security scanning of Node.js applications
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008
QADroid: regression event selection for Android applications
Testing high performance numerical simulation programs: experience, lessons learned, and open issues
Intermittently failing tests in the embedded systems domain
Reliability assessment for distributed systems via communication abstraction and refinement
Recovering fitness gradients for interprocedural Boolean flags in search-based testing
A software architecture framework for quality-aware DevOps
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications
Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006
Preventing data errors with continuous testing
THEMIS: a tool for decentralized monitoring algorithms
Robust test automation using contextual clues
ReGraph: A Tool for Binary Similarity Identification
SideTrack: generalizing dynamic atomicity analysis
Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Efficient and flexible GUI test execution via test merging
Unconstrained Duals and Their Use in Achieving All-Uses Coverage
Exploiting the laws of order in smart contracts
A criterion for filtering code clone related bugs
Evaluating applicability of combinatorial testing in an industrial environment: a case study
Test recommendation system based on slicing coverage filtering
HomDroid: detecting Android covert malware by social-network homophily analysis
EagerMerge: an optimistic technique for efficient points-to analysis
ThinkRepair: Self-Directed Automated Program Repair
Program vulnerability repair via inductive inference
Testing of java web services for robustness
MalViz: an interactive visualization tool for tracing malware
Some challenges for software testing research (invited talk paper)
AFFOGATO: runtime detection of injection attacks for Node.js
On the analytical comparison of testing techniques
Testability, fault size and the domain-to-range ratio: An eternal triangle
Modelgen: mining explicit information flow specifications from concrete executions
FSX: fine-grained incremental unit test generation for C/C++ programs
ReDeCheck: an automatic layout failure checking tool for responsively designed web pages
Canalyze: a static bug-finding tool for C programs
A regression tests selection technique for aspect-oriented programs
Verified Compilation in micro-Gypsy
Using test case reduction and prioritization to improve symbolic execution
How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection
Investigating the use of analysis contracts to support fault isolation in object oriented code
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs
Analyzing singularity channel contracts
Formal safety proof: a real case study in a railway interlocking system
Automatically detecting API-induced compatibility issues in Android apps: a comparative analysis (replicability study)
Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races
Scalable, Sound, and Accurate Jump Table Analysis
ASRTest: automated testing for deep-neural-network-driven speech recognition systems
Quality Assurance for Non-trivial Systems: Use Case GCC Plugins
SlipCover: Near Zero-Overhead Code Coverage for Python
Detecting anomalies in Kotlin code
CooTest: An Automated Testing Approach for V2X Communication Systems
Cesar: A Static Sequencing Constraint Analyzer
A Visual Test Development Environment for GUI Systems
N-version disassembly: differential testing of x86 disassemblers
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach
Fault localization using value replacement
Korat: automated testing based on Java predicates
Identifying privacy weaknesses from multi-party trigger-action integration platforms
ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022
A Preliminary Study of Large Language Models for Multilingual Vulnerability Detection
On the Applicability of Benford's Law to Detect Saturation in Fuzzing (Registered Report)
Buffer overflow detection for C programs is hard to learn
TestFlow: Advancing Mobile UI Testing through Multi-Step Reinforcement Learning
On the use of evolutionary algorithms for test case prioritization in regression testing considering requirements dependencies
Usable program analysis at google-scale (invited talk abstract)
ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021
Systematic execution of Android test suites in adverse conditions
Causal inference for statistical fault localization
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs
RTCM: a natural language based, automated, and practical test case generation framework
Inferring mutant utility from program context
Path cost analysis for side channel detection
Unicorn: detect runtime errors in time-series databases with hybrid input synthesis
DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Analysis of Real-Time Programs with Simple Time Petri Nets
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Custom-made instrumentation based on static analysis
CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Logos: Log Guided Fuzzing for Protocol Implementations
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Identifying error code misuses in complex system
An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria
Proactive detection of inadequate diagnostic messages for software configuration errors
eXpress: guided path exploration for efficient regression test generation
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
A first step towards algorithm plagiarism detection
Evaluating the precision of static reference analysis using profiling
Learning the Effects of Software Changes
Automatic Interoperability Test Generation for Source-to-Source Translators
Do bad smells indicate "trouble" in code?
Some resources for teaching concurrency
Comparing non-adequate test suites using coverage criteria
Towards automated translation between generations of GUI-based tests for mobile devices
An experimental evaluation of continuous testing during development
UPBEAT: Test Input Checks of Q# Quantum Libraries
Effectively prioritizing tests in development environment
Human-in-the-loop oracle learning for semantic bugs in string processing programs
Testing Automated Driving Systems by Breaking Many Laws Efficiently
DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
HybridRepair: towards annotation-efficient repair for deep learning models
Protocol Testing: Review of Methods and Relevance for Software Testing
Automated debugging: past, present, and future (ISSTA impact paper award)
VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Automatic documentation inference for exceptions
Early detection of faults related to database schematic changes
Combining static analysis error traces with dynamic symbolic execution (experience paper)
On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective
LabPal: repeatable computer experiments made easy
Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT
Coverage and adequacy in software product line testing
Dodona: automated oracle data set selection
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, QASBA 2013, in conjunction with ISSTA 2013, Lugano, Switzerland, July 15, 2013
Evaluating test-suite reduction in real software evolution