yusuke1997/dblp-id-title huggingface dataset:
Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem
A Combinatorial Approach to Explaining Image Classifiers
Understanding the Test Automation Culture of App Developers
230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers
Empirically Identifying the Best Greedy Algorithm for Covering Array Generation
Summary of SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World Graphs
Evolutionary Testing for Program Repair
Conformance Testing from Message Sequence Charts
General Message from the IWCT Workshop Chairs
Ordered t-way Combinations for Testing State-based Systems
Generating Unit Tests for Concurrent Classes
Knowledge Discovery Metamodel-Based Unit Test Cases Generation
Message Broker Using Asynchronous Method Invocation in Web Service and Its Evaluation
Rex: Symbolic Regular Expression Explorer
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Evaluating the Effectiveness of Attacks and Defenses on Machine Learning Through Adversarial Samples
Uncertainty-aware Exploration in Model-based Testing
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines
AcoFuzz: Adaptive Energy Allocation for Greybox Fuzzing
Beyond Combinatorial Interaction Testing: On the need for transition testing in dynamically adaptive context-aware systems
Factors Influencing the Performance of Students in Software Automated Test Tools Course
Assessing the Influence of Multiple Test Case Selection on Mutation Experiments
Automatic Generation of UTP Models from Requirements in Natural Language
Learning Performance Optimization from Code Changes for Android Apps
Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA
Symbooglix: A Symbolic Execution Engine for Boogie Programs
Performance Evaluation of Container's Shared Volumes
Benchmarking Open-Source Large Language Models for Log Level Suggestion
Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems"
Mining Sandboxes for Linux Containers
An Empirical Evaluation of Manually Created Equivalent Mutants
Integrating LLM-Based Text Generation with Dynamic Context Retrieval for GUI Testing
Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities
Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing in CI/CD Processes from GitHub Developers' Perspectives
Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages
Software Bug Prediction Model using Graph Neural Network
A Test Based Multidimensional Performance Model for a Mission Critical System Server
QEX: Automated Testing Observability and QA Developer Experience Framework
Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation
Murphy Tools: Utilizing Extracted GUI Models for Industrial Software Testing
13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020
A Search-Based Approach for Cost-Effective Software Test Automation Decision Support and an Industrial Case Study
The Effect of Team Exploratory Testing - Experience Report from F-Secure
Fostering the Diversity of Exploratory Testing in Web Applications
Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems
µBert: Mutation Testing using Pre-Trained Language Models
Interpreting Coverage Information Using Direct and Indirect Coverage
Verifying Code and Its Optimizations: An Experience Report
Using decision trees to aid algorithm selection in combinatorial interaction tests generation
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
Test Oracles and Test Script Generation in Combinatorial Testing
Systematic Analysis of Practical Issues in Test Automation for Communication Based Systems
Debugging Multithreaded Programs Using Symbolic Analysis
Test Case Generation Using Model Checking for Software Components Deployed into New Environments
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software
Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?
What You See Is What You Test - Augmenting Software Testing with Computer Vision
SEViz: A Tool for Visualizing Symbolic Execution
Using semi-supervised clustering to improve regression test selection techniques
2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016
Test Automation Process Improvement in a DevOps Team: Experience Report
Semantic Mutation Analysis of Floating-Point Comparison
Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications
Applying Combinatorial Testing to Large-Scale Data Processing at Adobe
Debug Support for Model-Based GUI Testing
A novel simulation approach for fault injection resistance evaluation on smart cards
A Preliminary Study on BPEL Process Testability
Teaching Software Testing in an Algorithms and Data Structures Course
Do System Test Cases Grow Old?
Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach
Modification-Impact based Test Prioritization for Process-Driven Applications
CDST: A Toolkit for Testing Cockpit Display Systems
A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case study
Combinatorial Methods for Explainable AI
Towards Software Quality and User Satisfaction through User Interfaces
Applying Combinatorial Testing to the Siemens Suite
Anomaly Analyses to Guide Software Testing Activity
Semi-automatic Search-Based Test Generation
Automatically Reproducing Timing-Dependent Flaky-Test Failures
Transformation Rules for Platform Independent Testing: An Empirical Study
Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization
Grey-Box Testing and Verification of Java/JML
Combinatorial Methods for Modelling Composed Software Systems
Are Deletion Mutants Easier to Identify Manually?
How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations
Workflow Inspector - A Test Tool for Microsoft Workflow Foundation
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs
Embedded Functions for Constraints and Variable Strength in Combinatorial Testing
Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study
Learning-based Mutant Reduction Using Fine-grained Mutation Operators
Why Does this App Need this Data? Automatic Tightening of Resource Access
Mutation-Based Test-Case Generation with Ecdar
Ariadne: Hybridizing Directed Model Checking and Static Analysis
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage
Unit Testing Non-functional Concerns of Component-based Distributed Systems
Coverage for Identifying Critical Metadata in Machine Learning Operating Envelopes
SPaCiTE - Web Application Testing Engine
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017
Virtualized-Fault Injection Testing: A Machine Learning Approach
Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and Solutions
On factors that impact the relationship between code coverage and test suite effectiveness: a survey
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation
A Process for Sound Conformance Testing of Cyber-Physical Systems
PMBOK vs. agile methods: How cultural change can become transparent
A Framework for Monkey GUI Testing
11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, Västerås, Sweden, April 9-13, 2018
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems
A Mechanism of Reliable and Standalone Script Generator on Android
Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software
Some Modeling Challenges When Testing Rich Internet Applications for Security
A Script-Based Testbed for Mobile Software Frameworks
Teaching Model-Driven Engineering from a Model-Testing Perspective
A first systematic mapping study on combinatorial interaction testing for software product lines
System Testing of Timing Requirements Based on Use Cases and Timed Automata
A Measurement Framework for Assessing Model-Based Testing Quality
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools
Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems
An Application of Six Sigma and Simulation in Software Testing Risk Assessment
Poster: Performance Testing Driven by Reinforcement Learning
Identifying Failure-Inducing Combinations Using Tuple Relationship
A Survey of Software Quality for Machine Learning Applications
Testing Obligation Policy Enforcement Using Mutation Analysis
EvoSuite: On the Challenges of Test Case Generation in the Real World
A Combinatorial Approach to Reduce Machine Learning Dataset Size
Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces
Security Model Evolution of PHP Web Applications
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
Digital Twin-based Anomaly Detection in Cyber-physical Systems
Test Case Reduction Based on the Join Condition in Pairwise Coverage-Based Database Testing
A Framework for In-Vivo Testing of Mobile Applications
Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems
Better Algorithms to Minimize the Cost of Test Paths
ISTQB-based Software Testing Education: Advantages and Challenges
A Tool for Automated Inspection of Software Design Documents and Its Empirical Evaluation in an Aviation Industry Setting
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software
Automatically Documenting Unit Test Cases
Developing multithreaded techniques and improved constraint handling for the tool CAgen
Security Testing as part of Software Quality Assurance: Principles and Challenges
Precisely Detecting Runtime Change Interactions for Evolving Software
Enhancing SaaS Product Reliability and Release Velocity through Optimized Testing Approach
End-to-End RPA-Like Testing Using Reinforcement Learning
Techniques to Have a Common Understanding of Test Aspects among Test Team Members
From Test Purposes to Asynchronous Test Cases
A Framework for the Automatic Correction of Constraint Programs
Predicting Survived and Killed Mutants
Empirical Software Change Impact Analysis using Singular Value Decomposition
DIRTS: Dependency Injection Aware Regression Test Selection
Dynamic Backward Slicing of Model Transformations
Test2Text: AI-Based Mapping between Autogenerated Tests and Atomic Requirements
Model Based Statistical Testing of Embedded Systems
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach
Enhanced Fast and Reliable Statistical Vulnerability Root Cause Analysis with Sanitizer
Testing the Evolution of Feature Models with Specific Combinatorial Tests
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
Variable Strength Combinatorial Testing for Deep Neural Networks
NN-SDCTest at the ICST 2025 Tool Competition - Self-Driving Car Testing Track
An RBM Anomaly Detector for the Cloud
Efficiently Repairing Internationalization Presentation Failures by Solving Layout Constraints
Web Canvas Testing Through Visual Inference
Technical Debt in Test Automation
Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis
Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDE
A model-based testing technique for component-based real-time embedded systems
Property-Based Testing with External Test-Case Generators
Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems
Analyzing Minimal Failure-Causing Schemas in Siemens Suite
A Framework for Failure Diagnosis
Experimental Comparison of Test Case Generation Methods for Finite State Machines
Combinatorial Interaction Testing with Multi-perspective Feature Models
Generating Controllably Invalid and Atypical Inputs for Robustness Testing
An Empirical Study on Software Failure Classification with Multi-label and Problem-Transformation Techniques
A Workload Model for Benchmarking BPEL Engines
Cost of Flaky Tests in Continuous Integration: An Industrial Case Study
Elevating Software Quality in Agile Environments: The Role of Testing Professionals in Unit Testing
Model Generation For Java Frameworks
Identifying Infeasible GUI Test Cases Using Support Vector Machines and Induced Grammars
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications
Scheduling Timed Modules for Correct Resource Sharing
On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant Clustering
Thinktank: Leveraging LLM Reasoning for Advanced Task Execution in CI/CD
State machine flattening, a mapping study and tools assessment
Ordering Coverage Goals in Model Checker Based Testing
Canopus: A Domain-Specific Language for Modeling Performance Testing
Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm
Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, March 21-25, 2011
Black-Box Testing for Practitioners: A Case of the New ISTQB Test Analyst Syllabus
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications
Improving Test Suites Maintainability with the Page Object Pattern: An Industrial Case Study
Testing Cloud Applications under Cloud-Uncertainty Performance Effects
PLeTsPerf - A Model-Based Performance Testing Tool
A Scalable Big Data Test Framework
Automated Test Generation and Mutation Testing for Alloy
Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions
Online GANs for Automatic Performance Testing
Effective Fault Localization Using Dynamic Slicing and an SMT Solver
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection
Measuring T2 against SBST 2013 Benchmark Suite
Reduce Test Cost by Reusing Test Oracles through Combinatorial Join
Implementing tool support for analyzing stakeholder communications in software development
Combinatorially XSSing Web Application Firewalls
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations
Extracting Properties from Test Cases by Refactoring
The MIDAS Cloud Platform for Testing SOA Applications
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests
A survey on mobile users' software quality perceptions and expectations
Calibrated Mutation Testing
Software Defects Rules Discovery
Fast Abstract: Data Dynamics for Testing Systems
Inferential Checking for Mutants Modifying Database States
Techniques for Automatic Detection of Metamorphic Relations
An Alternative Approach to Test Effort Estimation Based on Use Cases
Improving Patch Correctness Analysis via Random Testing and Large Language Models
Results of a Comparative Study of Code Coverage Tools in Computer Vision
A Simple Approach for Estimation of Execution Effort of Functional Test Cases
AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript
Mutation Testing for Aspect-Oriented Programs
A Testing Model for Dynamic Malware Analysis Systems
A test automation language framework for behavioral models
Tester Feedback Driven Fault Localization
Constraints in Software Testing, Verification and Analysis CSTVA'2013
Poster: Software Fault Localization as a Service (SFLaaS)
Directing a Search Towards Execution Properties with a Learned Fitness Function
Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study
Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries
Assessing and Improving the Mutation Testing Practice of PIT
Exploring the Triggering Modes of Spectrum-Based Fault Localization: An Industrial Case
Teaching a Testing Concept (JUnit) with Active Learning
Obtaining Fuzzing Results with Different Timeouts
Applications of Combinatorial Testing Methods for Breakthrough Results in Software Testing
Scan Code Injection Flaws in HTML5-Based Mobile Applications
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software
MbSRT2: Model-Based Selective Regression Testing with Traceability
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants
Heterogeneous colimits
Agent-based Testing of Extended Reality Systems
Supporting software product line testing by optimizing code configuration coverage
Empirical Evaluation of Test Coverage for Functional Programs
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research
Prut4j: Protocol Unit Testing fo(u)r Java
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
BDTest, a System to Test Big Data Frameworks
Using context descriptions and property definition patterns for software formal verification
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study
CAST: Automating Software Tests for Embedded Systems
Predicting Safety Misbehaviours in Autonomous Driving Systems Using Uncertainty Quantification
Property-Based Mutation Testing
A Model for T-Way Fault Profile Evolution during Testing
SOA Testing via Random Paths in BPEL Models
How Closely are Common Mutation Operators Coupled to Real Faults?
ICST Tool Competition 2025 - UAV Testing Track
Test Benchmarks - what is the question?
NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps
Testing of Evolving Protocols
A Novel Double T-wise Approach to Root Cause Analysis via Combinatorial Test Set Completion
Scanstud: A Methodology for Systematic, Fine-Grained Evaluation of Static Analysis Tools
From Implemented to Expected Behaviors: Leveraging Regression Oracles for Non-regression Fault Detection using LLMs
Using Common Criteria to Assess Quality of Web Services
CertiFail at the ICST 2025 Tool Competition - Self-Driving Car Testing Track
Adversarial Testing with Reinforcement Learning
Regression Test Selection Techniques for Test-Driven Development
System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study
Can Learning Formal Specification Be Fun? - Experience and Perspective
Overcoming Web Server Benchmarking Challenges in the Multi-core Era
Testing Java Components based on Algebraic Specifications
Towards Constraing-Based Local Search for Automatic Test Data Generation
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
MoMut: : UML Model-Based Mutation Testing for UML
Mobile Testing in Software Industry Using Agile: Challenges and Opportunities
Simplified Modeling of Combinatorial Test Spaces
Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software
Automated and Systematic Digital Twins Testing for Industrial Processes
Towards Better Testing of fUML Models
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract
ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems
Checking Security Properties of Cloud Service REST APIs
Speeding-Up Mutation Testing via Data Compression and State Infection
Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA
Statistical Sampling Based Approach to Alleviate Log Replay Testing
Employing Privacy-Preserving Techniques to Protect Control-Flow Graphs in a Decentralized, End-to-End Regression Test Selection Framework for Web Services
Combinatorial Testing for an Automotive Hybrid Electric Vehicle Control System: A Case Study
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Leveraging Large Language Models for Explicit Wait Management in End-to-End Web Testing
Toward an Encoding Approach to Interaction-based Test Suite Minimization
Automated Significant Load Testing for WS-BPEL Compositions
Replay-Based Continual Learning for Test Case Prioritization
Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization
Software Testing: According to Plan!
Model Dependent Test Coverage Variabilities
Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations
Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests
Searching for Cognitively Diverse Tests: Towards Universal Test Diversity Metrics
Towards Search-Based Testing for Event-B Models
On the Improvement of the Mutation Score Using Distinguishing Test Cases
Analyzing a Controller of a Power Distribution Unit Using Formal Methods
Scalable Continuous Integration using Remote Execution
Fail-Safe Execution of Deep Learning based Systems through Uncertainty Monitoring
Testing Practices, Challenges, and Developer Perspectives in Open-Source IoT Platforms
Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites
Modelling Hand Gestures to Test Leap Motion Controlled Applications
Scenario Based Test Generation Using Test Designer
A Toolchain for Designing and Testing XACML Policies
A Survey of Empirics of Strategies for Software Product Line Testing
Paraµ - A Partial and Higher-Order Mutation Tool with Concurrency Operators
Explanation-Based Generalization of Infeasible Path
How Well are Your Requirements Tested?
Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C#
Test Suite Reduction by Combinatorial-Based Coverage of Event Sequences
Behaviourally Adequate Software Testing
Self determination: A comprehensive strategy for making automated tests more effective and efficient
What Can We Learn from In-process Metrics on Issue Management? - Insights from an Industrial Case Study
Designing Sequence Diagram Models for Robustness to Attacks
Detecting and Repairing Inconsistencies across Heterogeneous Models
Formatted Stateful Greybox Fuzzing of TLS Server
Software Testing as an Online Service: Observations from Practice
Combinatorial Testing on MP3 for Audio Players
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016
Equivalence class verification and oracle-free testing using two-layer covering arrays
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
Equivalent Mutants: Deductive Verification to the Rescue
Self-Healing Cloud Applications
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code)
Tailoring ISO/IEC/IEEE 29119-3 Standard for Small and Medium-Sized Enterprises
Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing
Using Mutation Analysis to Evolve Subdomains for Random Testing
Marco Polo - A Tool for Automated Exploratory Testing of Previously Unseen Online Stores