yusuke1997/dblp-id-title huggingface dataset:
Timed Testing under Partial Observability
Requirements for an Automated Assessment Tool for Learning Programming by Doing
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing
Suggestion of Practical Quantification Measuring Method of Test Design Which Can Represent the Current Status
Mutation Operators for the Atlas Transformation Language
An Approach to T-Way Test Sequence Generation With Constraints
Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array
Refining a Randomized Post-optimization Method for Covering Arrays
An Evaluation of Mutation and Data-Flow Testing: A Meta-analysis
Intent-Driven Mobile GUI Testing with Autonomous Large Language Model Agents
CITLAB: A Laboratory for Combinatorial Interaction Testing
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
Security testing for Android mHealth apps
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions
Combinatorial Testing: From Algorithms to Applications
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System
Model-based approach for automated test case generation from visual requirement specifications
A Manifesto for Higher Order Mutation Testing
Code Critters: A Block-Based Testing Game
Approximate Transformations as Mutation Operators
Abstracting Time and Data for Conformance Testing of Real-Time Systems
Multi-objective Cross-Project Defect Prediction
New Ranking Formulas to Improve Spectrum Based Fault Localization Via Systematic Search
Identifying Failure-Correlated Dependence Chains
Signal Generation for Search-Based Testing of Continuous Systems
Test automation for multi-touch user interfaces of industrial applications
The Forth International Workshop on Security Testing (SECTEST 2013)
Combinatorial Testing for Feature Models Using CitLab
Curiosity Driven Multi-agent Reinforcement Learning for 3D Game Testing
Automating Root Cause Analysis via Machine Learning in Agile Software Testing Environments
SFLaaS: Software Fault Localization as a Service
Runtime Verification of Linux Kernel Modules Based on Call Interception
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain
Multi-Project Just-in-Time Software Defect Prediction Based on Multi-Task Learning for Mobile Applications
Testing Embedded Real Time Systems with TTCN-3
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services
Spectral Analysis of the Relation between Deep Learning Faults and Neural Activation Values
NuSeen: A Tool Framework for the NuSMV Model Checker
Automated Accessibility Testing of Mobile Apps
GUI Test Transfer from Web to Android
Test Case Reuse in Enterprise Software Implementation - An Experience Report
A Model-Based Approach to Generate Dynamic Synthetic Test Data: A Conceptual Model
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes
Enhancing Utility and Privacy of Data for Software Testing
Sanitizing and Minimizing Databases for Software Application Test Outsourcing
Architectures and Experiences in Testing IoT Communications
Model-Based Fuzz Testing
Evaluating Machine-Independent Metrics for State-Space Exploration
Estimating the Number of Equivalent Mutants
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Using Constraints to Verify Properties of Rule Programs
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Programming Behavioral Test Models for SMT Solving in Scala
Assessing Technical Debt in Automated Tests with CodeScene
Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary
Combinatorial Testing with Constraints for Negative Test Cases
Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check
Type Sensitive Application of Mutation Operators for Dynamically Typed Programs
Mutation Patterns for Temporal Requirements of Reactive Systems
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing
Combinatorial Methods for HTML Sanitizer Security Testing
Common Patterns in Combinatorial Models
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization
Google's Innovation Factory: Testing, Culture, and Infrastructure
Multi-Dimensional Measures for Test Case Quality
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy
Uncertainty-Aware Autonomous Driving System Testing with Large Language Models
Regression testing in the presence of non-code changes
Online Model-Based Behavioral Fuzzing
Course Design of Introducing Selenium WebDriver
A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain
A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems
Performance Testing Web Applications on the Cloud
Test driven development for device drivers and rapid hardware prototyping
Learning to Restrict Test Range for Compiler Test
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
SAGA Toolbox: Interactive Testing of Guarded Assertions
A Brief Overview of Existing Tools for Testing the Internet-of-Things
Navigating Information Overload Caused by Automated Testing - a Clustering Approach in Multi-Branch Development
Exhaustive Exploration of the Failure-Oblivious Computing Search Space
Characterizing Defective Configuration Scripts Used for Continuous Deployment
Gamified Exploratory GUI Testing of Web Applications: a Preliminary Evaluation
Batch Execution of Microbenchmarks for Efficient Performance Testing
Establishing Utilization Decision Criteria for Open-Source Software Projects Based on Issue Resolution Time Evaluation
TGen-UQ at the ICST 2025 Tool Competition - UAV Testing Track
Strengthening Inferred Specifications using Search Based Testing
Anti-Patterns in Infrastructure as Code
Smart, and also Reliable and Gas-Efficient, Contracts
Compositional Specifications for ioco Testing
Verified Operational Patterns with Graph Transformation
Contract-Based Verification for Aspect-Oriented Refactoring
On Using Ontologies for Testing Compilers
ADGE: Automated Directed GUI Explorer for Android Applications
14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021, Porto de Galinhas, Brazil, April 12-16, 2021
Towards Explainable Test Case Prioritisation with Learning-to-Rank Models
Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report
Well-informed Test Case Generation and Crash Reproduction
An Evaluation of Model Checkers for Specification Based Test Case Generation
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications
Continuous Integration and Visual GUI Testing: Benefits and Drawbacks in Industrial Practice
Passive Testing of Stochastic Timed Systems
Strategies Comparison of Test Generation from UML Using SMT Solver
Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty
The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System
Practical Challenges in Test Environment Management
It Takes Two to Tango - An Experience Report on Industry - Academia Collaboration
JavaPDG: A New Platform for Program Dependence Analysis
Pre-testing Flash Device Driver through Model Checking Techniques
Summary of An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem
Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark
Testing a PL/I Compiler Using Precomputation-based Program Generation
LLM-Based Labelling of Recorded Automated GUI-Based Test Cases
As Code Testing: Characterizing Test Quality in Open Source Ansible Development
Estimating Fault Detection Effectiveness
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
Skyfire: Model-Based Testing with Cucumber
VERA: A Flexible Model-Based Vulnerability Testing Tool
Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research
Assuring Fairness of Algorithmic Decision Making
Combinatorial Testing on ID3v2 Tags of MP3 Files
Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
Evaluating Symbolic Execution-Based Test Tools
Cross-Device Difference Detector for Mobile Application GUI Compatibility Testing
REMAP: Using Rule Mining and Multi-objective Search for Dynamic Test Case Prioritization
Quality Assurance for LLM-RAG Systems: Empirical Insights from Tourism Application Testing
Intracompany Training in Software Testing: Experience Report
Open Problems in Testability Transformation
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software
Hybrid Equivalence/Non-Equivalence Testing
Real-Data Validation of Simulation Models in a Function-Based Modular Framework
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing
Elements for a Test(-ware) Architecture Language
A Study on Challenges of Testing Robotic Systems
Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach
Prevalence of Single-Fault Fixes and Its Impact on Fault Localization
VCIPR: Vulnerable Code is Identifiable When a Patch is Released (Hacker's Perspective)
Parameter-Based Refactoring and the Relationship with Fan-in/Fan-out Coupling
Using Projections to Debug Large Combinatorial Models
Support for Finding Presentation Failures by Using Computer Vision Techniques
Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models
Automated A/B Testing with Declarative Variability Expressions
Practicing Testability in the Real World
Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization
Reformulating Branch Coverage as a Many-Objective Optimization Problem
Most Common Mistakes in Test-Driven Development Practice: Results from an Online Survey with Developers
Model-Based Testing of Automotive Systems
Artefact Relation Graphs for Unit Test Reuse Recommendation
Detecting Display Energy Hotspots in Android Apps
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification
Systematic Testing for Detecting Concurrency Errors in Erlang Programs
Measuring Effectiveness of Mutant Sets
RustyRTS: Regression Test Selection for Rust
Properties of Effective Metrics for Coverage-Based Statistical Fault Localization
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
Test Suite Quality Assessment Using Model Inference Techniques
Semantic Testing of Interactive Applications
Test Case Prioritization Using Requirements-Based Clustering
Lightweight Model-Based Testing for Enterprise IT
Formal Correctness of a Passive Testing Approach for Timed Systems
An Empirical Study of IR-based Bug Localization for Deep Learning-based Software
JAutomate: A Tool for System- and Acceptance-test Automation
JSEFT: Automated Javascript Unit Test Generation
Automated Performance Model Construction through Event Log Analysis
Reducing Mutants with Mutant Killable Precondition
Efficient Incrementalized Runtime Checking of Linear Measures on Lists
R2Fix: Automatically Generating Bug Fixes from Bug Reports
Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google
First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings
13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020
Software quality research: From processes to model-based techniques
MutantBench: an Equivalent Mutant Problem Comparison Framework
Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013
Differential coverage: : automating coverage analysis
Are We Testing or Being Tested? Exploring the Practical Applications of Large Language Models in Software Testing
Software Systems, Their Engineers and Their Testers
AI is a game-changing technology: how to test and robustify Machine-Learning software?
Large-Scale Software Testing Environment Using Cloud Computing Technology for Dependable Parallel and Distributed Systems
Simulation-based Test Case Generation for Unmanned Aerial Vehicles in the Neighborhood of Real Flights
Automated testing in the continuous delivery pipeline: A case study of an online company
An Input Space Modeling Methodology for Combinatorial Testing
Symbolic System Time in Distributed Systems Testing
Kepler - Raising Browser Security Awareness
Flattening or not of the combinatorial interaction testing models?
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks
An Industrial Study of Natural Language Processing Based Test Case Prioritization
Automatic Generation of Test Drivers for Model Inference of Web Applications
Do Exploratory Testers Need Formal Training? An Investigation Using HCI Techniques
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information
Advantages of Mutation in Passive Testing: An Empirical Study
Model-Based Testing of Cryptographic Components - Lessons Learned from Experience
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
Testing Consequences of Grime Buildup in Object Oriented Design Patterns
On an Embedded Software Design Architecture for Improving the Testability of In-vehicle Multimedia Software
Poster: Supporting JavaScript Experimentation with BugsJS
Oracle-based Regression Test Selection
How to Teach Software Testing? Experiences with a Sandwich Approach
Mutation Operators for Agent-Based Models
Using Testing to Repair Models
Open Research Challenges of Localizing Faults in Programs Using Constraints
Software Behavior and Failure Clustering: An Empirical Study of Fault Causality
Symbolic Characterisation of Commonalities in Testing Software Product Lines
QRTest: Automatic Query Reformulation for Information Retrieval Based Regression Test Case Prioritization
Towards Refined Code Coverage: A New Predictive Problem in Software Testing
A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases
Supporting Test Suite Evolution through Test Case Adaptation
Improvement of Description for Reusable Test Type by Using Test Frame
Fairness Testing of Machine Learning Models using Combinatorial Testing in Latent Space
A Generic Metamodel For Security Policies Mutation
Fifty Shades of Grey in SOA Testing
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
Evaluating Large Language Model Robustness using Combinatorial Testing
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
Automata Learning for React Web Applications
Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder
Embedded functions in combinatorial test designs
The spin on guided random search in verification
Towards a Taxonomy for Simulink Model Mutations
Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment
A Comparative Study of Manual and Automated Testing for Industrial Control Software
Balanced FSM Generation for Empirical Studies
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones
Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing
Coverage-Based Test Case Prioritisation: An Industrial Case Study
Coverage-Guided Learning-Assisted Grammar-Based Fuzzing
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
Using Model-Checking for Timing Verification in Industrial System Design
Graphical editing support for QuickCheck models
Conditional-Based Refactorings and Fault-Proneness: An Empirical Study
Automatic Equivalent Mutants Classification Using Abstract Syntax Tree Neural Networks
Weighted Call Frequency-Based Fault Localization
Process Oriented Guided Inquiry-based learning-like pedagogy (POGIL-like) in Online Software Testing and DevOps - A Replication Study
Differential Optimization Testing of Gremlin-Based Graph Database Systems
Functional Search-based Testing from State Machines
SunDew: Systematic Automated Security Testing
SoftwareHardware Hybrid Systems Verification
Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
Comparing Fuzzers on a Level Playing Field with FuzzBench
A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
Handling Constraints for Search Based Software Test Data Generation
Elaborating Software Test Processes and Strategies
Test Automation Maturity Assessment
Model-Based Testing of Read Only Graph Queries
Poster: Fuzz Testing of Quantum Program
Java lock contention anti-patterns and their associated recommendations
Specifying Life Cycle Requirements in a Natural-like Language and ptLTL
Faster mutation-based fault localization with a novel mutation execution strategy
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments
Message from the Program Co-Chairs; ICST 2024
Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms
Fault Localization via Fine-Tuning Large Language Models with Mutation Generated Stack Traces
Test-Oriented Languages: Is it Time for a New Era?
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies
Classifying and Qualifying GUI Defects
An Empirical Study on Object-Oriented Metrics and Software Evolution in Order to Reduce Testing Costs by Predicting Change-Prone Classes
Model-Based Testing IoT Communication via Active Automata Learning
Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams
A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results
The Next Level of Test Automation (NEXTA 2020)
An Architecture for the Development of Mutation Operators
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation
An Assessment of the Quality of Automated Program Operator Repair
Evaluation of t-wise Approach for Testing Logical Expressions in Software
An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool
Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes
A Case-based Approach for introducing Testing Tools and Principles
Hybrid Directed Test Suite Augmentation: An Interleaving Framework
Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems
Should We Care about "Don't Care" Testing Inputs?: Empirical Investigation of Pair-Wise Testing
SmokeOut: An Approach for Testing Clustering Implementations
Assertion-Based Validation of Modified Programs
Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANA
Automatic Detection and Removal of Conformance Faults in Feature Models
Security tests for mobile applications - Why using TLS/SSL is not enough
Mining Attributed Input Grammars and their Applications in Fuzzing
Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company
A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Scenario-Based Testing Applied in Two Real Contexts: Healthcare and Employability
EdSynth: Synthesizing API Sequences with Conditionals and Loops
DETOUR at the ICST 2025 Tool Competition - Self-Driving Car Testing Track
Cascade: A Test Generation Tool for Combinatorial Testing
SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software
A Three-Tiered Testing Strategy for Cookies
Combining model-based and risk-based testing for effective test case generation
Combinatorial Test Design Model Creation using Large Language Models
Pattern-Based Usability Testing
Mutation at System and Functional Levels
Boosted Exploratory Test Architecture: Coaching Test Engineers with Word Similarity
Performance Testing of GUI Applications
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution
Adaptive Test Healing using LLM/GPT and Reinforcement Learning
Combinatorial Interaction Testing for Automated Constraint Repair
Formal Modeling and Verification of SDN-OpenFlow
Structural Testing of Executables
Tool Support for Expert-Centred Code Assessments
Teaching Software Testing with the Code Defenders Testing Game: Experiences and Improvements
Mapping software testing practice with software testing research - SERP-test taxonomy
EFindBugs: Effective Error Ranking for FindBugs
Model-Based Tests for Access Control Policies
A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment
Executing a Standard Compliant Transformation Model on a Non-standard Platform
An Experimental Evaluation of Web Mutation Operators
QBE: QLearning-Based Exploration of Android Applications
AFLNET: A Greybox Fuzzer for Network Protocols
Migrating Combinatorial Interaction Test Modeling and Generation to the Web
Checking Sequence Generation Using State Distinguishing Subsequences
IEEE Conference on Software Testing, Verification and Validation, ICST 2025, Napoli, Italy, March 31 - April 4, 2025
State-Based Testing of Ajax Web Applications
On the Use of Constraints in Dynamic Slicing for Program Debugging
End-to-End Testing in Web Environments: Addressing Practical Challenges
Pattern Based GUI Testing Modeling Environment
Automated Function Assessment in Driving Scenarios
System and Software Testing in Automotive: an Empirical Study on Process Improvement Areas
AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems
Analysis of Test Clusters for Regression Testing
Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata
A Workflow for Automated Testing of a Safety-Critical Embedded Subsystem
Test Tools: an illusion of usability?
Test Data Generation for MC/DC Criterion using Reinforcement Learning
Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry
Automating Targeted Property-Based Testing
Quality Metrics and Oracles for Autonomous Vehicles Testing
An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper
Poster: EBFL-An Ensemble Classifier based Fault Localization
Test Design as Code: JCUnit
Relation between Depth of Inheritance Tree and Number of Methods to Test
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows
Reconfigurable Model-Based Test Program Generator for Microprocessors