yusuke1997/dblp-id-title huggingface dataset:
Algorithms for Basic Compliance Problems
Automatic Program Repair as Semantic Suggestions: An Empirical Study
The SmartLogic Tool: Analysing and Testing Smart Card Protocols
Poster: Automatic Consistency Checking of Requirements with ReqV
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples
Constraint-based Evolutionary Testing of Autonomous Distributed Systems
On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software
Improving the Readability of Automatically Generated Tests Using Large Language Models
Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
Creating GUI Testing Tools Using Accessibility Technologies
Holistic Model-Based Testing for Business Information Systems
A Large Scale Empirical Study on User-Centric Performance Analysis
A Model Building Process for Identifying Actionable Static Analysis Alerts
Towards Cross-Build Differential Testing
Improving security analysis rule set by relationship identification
Mutation Testing of Deep Reinforcement Learning Based on Real Faults
Taming Coverage Criteria Heterogeneity with LTest
More Accurate Dynamic Slicing for Better Supporting Software Debugging
A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics Software
Nonconformity Resolving Recommendations for Product Line Configuration
Hints in Unified Combinatorial Interaction Testing
Preliminary Results in Using Attention for Increasing Attack Identification Efficiency
Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants
Model-Based Testing for the Second Generation of Integrated Modular Avionics
Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
Using Imprecise Test Oracles Modelled by FSM
Toward Tool-Agnostic Guidelines for Expert Debugging Strategies
Conformance Testing in UPPAAL: A diabolic approach
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing
Designing sustainable information systems for organizations operating in safety critical environments
If You Can't Kill a Supermutant, You Have a Problem
Combinatorial Testing: Implementations in Solutions Testing
2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
Embedding Context as Code Dependencies for Neural Program Repair
Towards Security-Aware Mutation Testing
TestFul: An Evolutionary Test Approach for Java
Fostering a Testing Mindset through Automated Feedback on Multiple Submissions Using Git-keeper
Combinatorial Test Design - A Smarter Way to Connect with the Business
Model-Driven Engineering of Dependable Systems
Speeding up Mutation Testing via Regression Test Selection: An Extensive Study
Introducing combinatorial testing in the organization a report on a first attempt
Weighted System Dependence Graph
Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms
Generating Effective Integration Test Cases from Unit Ones
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt
Experience Report: White Box Test Case Generation for Automotive Embedded Software
Automated Random Testing in Multiple Dispatch Languages
Evaluating Correct-Consistency and Robustness in Code-Generating LLMs
Effort Comparison for Model-Based Testing Scenarios
Combinatorial Testing of ACTS: A Case Study
Towards Tool-Support for Test Case Selection in Manual Regression Testing
Applying aggressive propagation-based strategies for testing changes
Reachability Verification of Rhapsody Statecharts
Software Testing Design Techniques Used in Automated Vehicle Simulations
A Denotational Model for Interrupt-Driven Programs
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
Improving Model Learning by Inferring Separating Sequences from Traces
A Framework for Automated API Fuzzing at Enterprise Scale
ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving
A Tag-based Recommender System for Regression Test Case Prioritization
ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems
Automated and Scalable Mutation Testing
Longer is Better: On the Role of Test Sequence Length in Software Testing
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems
A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search
Prioritized Test Generation Guided by Software Fault Prediction
Using Advanced Code Analysis for Boosting Unit Test Creation
Keywords-based test categorization for Extra-Functional Properties
Academic and Industrial Software Testing Conferences: Survey and Synergies
Fault Detection Likelihood of Test Sequence Length
Harvesting Production GraphQL Queries to Detect Schema Faults
Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics
Scaling Test Case Generation For Expressive Decision Tables
The Role of Stability Testing in Heterogeneous Application Environment
FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System
Security Testing: Turning Practice into Theory
Test Generation for X-machines with Non-terminal States and Priorities of Operations
A Tool-Assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency
Towards A Common Task Framework for Distributed Collaborative Machine Learning
Viewpoint-Based Test Requirement Analaysis Modeling
Assessing Oracle Quality with Checked Coverage
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
A Formal Model for Generating Integrated Functional and User Interface Test Cases
A process for nonfunctional combinatorial testing: Selection of parameter values from a nondiscrete domain space
TCPGraphix: A Visualization Tool for ML-Powered Test Case Prioritization Data Analysis
Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification
Transforming and Selecting Functional Test Cases for Security Policy Testing
Evolving the Quality of a Model Based Test Suite
Test Generation from Business Rules
Proof Composition for Deductive Verification of Software Product Lines
Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs
Online Testing Framework for Web Services
KAT: Dependency-Aware Automated API Testing with Large Language Models
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
Test Coverage Analysis of UML State Machines
Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation
Automated Testing of Definition-Use Data Flow for Multithreaded Programs
Practical Fault Localization with Combinatorial Test Design
ChatGPT and Software Testing Education: Promises & Perils
Atrina: Inferring Unit Oracles from GUI Test Cases
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis
Applicable Micropatches and Where to Find Them: Finding and Applying New Security Hot Fixes to Old Software
Data-Flow Testing in the Large
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces
When to Migrate Software Testing to the Cloud?
Automated testing in the cloud: Test infrastructure management with SaaS
Systematic Testing of Database Engines Using a Relational Constraint Solver
Many-Objective Neuroevolution for Testing Games
Test Automation - Automation of What?
A Method and Tool for Test Optimization for Automotive Controllers
Translation from Visual to Layout-based Android Test Cases: a Proof of Concept
From agile software development to the sharing economy and the collaborative commons: Social apps for enterprises
Dealing with Constraints in Boolean Expression Testing
TripleT: Improving Test Responsiveness for High Performance Embedded Systems
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Evaluating Automated Unit Testing in Sulu
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC
An Industrial Study on Applications of Combinatorial Testing in Modern Web Development
The Evaluation of Ambiguity Based on the Distance between Transitive Verbs and Objects in Japanese
O!Snap: Cost-Efficient Testing in the Cloud
A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants
Modeling App Behavior from Multiple Artifacts
WebMate: Web Application Test Generation in the Real World
A Framework for Automated Combinatorial Test Generation, Execution, and Fault Characterization
Semantic-Based Test Case Generation
Automating Web Application Testing from the Ground Up: Experiences and Lessons Learned in an Industrial Setting
Requirements-Driven Testing with Behavior Trees
Set the right example when teaching programming: Test Informed Learning with Examples (TILE)
SafeRevert: When Can Breaking Changes be Automatically Reverted?
Mutant Quality Indicators
GUIdiff - A Regression Testing Tool for Graphical User Interfaces
Verifying and Analyzing Adaptive Logic through UML State Models
Benchmarking Testing Strategies with Tools from Mutation Analysis
Verifying Concurrent Programs Using Contracts
Selecting "good" regression tests based on a classification of side-effects
Spectacular: Finding Laws from 25 Trillion Terms
AMBER: AI-Enabled Java Microbenchmark Harness
Prioritizing Manual Test Cases in Traditional and Rapid Release Environments
BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust
Defining the Phrase "Software Test Architecture" Emerging Idea
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
Deriving Combinatorial Test Design Model from UML Activity Diagram
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications
Automated and Isolated Tests for Complex Middleware Products: The Case of BPEL Engines
Evaluation of the IPO-Family algorithms for test case generation in web security testing
Towards generation of adaptive test cases from partial models of determinized timed automata
Quantizing Large-Language Models for Predicting Flaky Tests
MOTIF: A tool for Mutation Testing with Fuzzing
Making System User Interactive Tests Repeatable: When and What Should we Control?
Empirical Observations on Software Testing Automation
An Empirical Analysis of Blind Tests
Software Architecture Elements Applied to Software Test: View, Viewpoints and Containers
Towards Practical Debugging for Regression Faults
Iterative Instrumentation for Code Coverage in Time-Sensitive Systems
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops
AUnit: A Test Automation Tool for Alloy
Search-Based Software Testing: Past, Present and Future
Weighted Execution Profiles for Software Testing
RAILROADMAP: An Agile Security Testing Framework for Web-application Development
Summary of Combinatorial methods for testing Internet of Things smart home systems
Estimating Costs for Adopting and Using Model-Based Testing in Agile SCRUM Teams
Requirements for Testing and Validating the Industrial Internet of Things
Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
A guide to lean software development in action
Use of binary decision diagrams to handle constraints in combinatorial interaction testing
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018
A Smart Structured Test Automation Language (SSTAL)
Fixing of Security Vulnerabilities in Open Source Projects: A Case Study of Apache HTTP Server and Apache Tomcat
Assisting Bug Report Assignment Using Automated Fault Localisation: An Industrial Case Study
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage
Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems
Predicting Testability of Concurrent Programs
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2017
Generating Minimal Fault Detecting Test Suites for Boolean Expressions
A Methodology for UML Models V&V
Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models
A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Automatic Refinement of ASM Abstract Test Cases
A Framework to Test Advanced Web Services Transactions
Leveraging Light-Weight Analyses to Aid Software Maintenance
Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem
Crowdsourcing GUI Tests
Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases
AADL-Based Safety Analysis Approaches for Safety-Critical Systems
Mutant-Kraken: A Mutation Testing Tool for Kotlin
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
AutoQUEST - Automated Quality Engineering of Event-Driven Software
Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines
A Dynamic Behaviour and Reliability Evaluation Method for Applications That Are Based on Asynchronous Processing Nodes
Combinatorial interaction testing of tangled configuration options
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
To Detect Abnormal Program Behaviours via Mutation Deduction
Satisfying Test Preconditions through Guided Object Selection
Optimizing Generation of Object Graphs in Java PathFinder
A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures
Address-Aware Query Caching for Symbolic Execution
Improving the Efficacy of Testing Scientific Software: Insights from Mutation Testing
Dfuzzer: A D-Bus Service Fuzzing Tool
Security testing and resilience
Can We Predict the Quality of Spectrum-based Fault Localization?
Assessing the Impact of Using Fault Prediction in Industry
Testing AUTOSAR software with QuickCheck
Design of High Confidence Embedded Software Hardware-in-Loop Simulation Test Platform Based on Hierarchical Model
Using Assurance Cases to assure the fulfillment of non-functional requirements of AI-based systems - Lessons learned
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
Experimental Evaluation of SDL and One-Op Mutation for C
Generating Evil Test Strings for Regular Expressions
Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver
A Test Process for all Lifecycles
A Constraint Solver for PHP Arrays
Unit Testing Tool Competition
Using Combinatorial Approaches for Testing Mobile Applications
Optimizing Probabilities of Real-Time Test Case Execution
Applying Automated Test Case Generation in Industry: A Retrospective
How Do Automatically Generated Unit Tests Influence Software Maintenance?
On Modeling and Testing Security Properties of Vehicular Networks
Active Model Learning for Software Interrogation and Diagnosis
Suspend-Less Debugging for Interactive and/or Realtime Programs
The Next Level of Test Automation: What About the Users?
Factors Limiting Industrial Adoption of Test Driven Development: A Systematic Review
Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems
Generating Tests for Detecting Faults in Feature Models
Human-In-The-Loop Automatic Program Repair
8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015
SPYH-Method: An Improvement in Testing of Finite-State Machines
Model-Based Testing Using Symbolic Animation and Machine Learning
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing
Eris: A Tool for Combinatorial Testing of the Linux System Call Interface
Cloud API Testing
Bottleneck Analysis via Grammar-based Performance Fuzzing *
Test Suite Prioritization by Switching Cost
Enhancing Fault Localization via Multivariate Visualization
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks
Debugger-driven Embedded Fuzzing
A Systematic Test Case Generation Approach for Testing Message Length Variability
Similarities of Testing Programmed and Learnt Software
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
Automated Detection of Test Fixture Strategies and Smells
Testing Concurrent Software Systems
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems
Verification Methodology for Fully Autonomous Heavy Vehicles
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
Automated Behavioral Regression Testing
Exploring Robustness of Image Recognition Models on Hardware Accelerators
Coverage Metrics for T-Wise Feature Interactions
En Garde: Winning Coding Duels through Genetic Programming
Understanding the Influence of Social and Technical Factors Testers in Software Organizations
Towards Automatic Cost Model Discovery for Combinatorial Interaction Testing
Message from the TAIC PART 2017 Chairs
Test automation for NFC ICs using Jenkins and NUnit
Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques
Aurora: Navigating UI Tarpits via Automated Neural Screen Understanding
Identifying Software Test Architect Skills and Knowledge
Formal Models of Bank Cards for Free
Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013
Adapting Unit Tests by Generating Combinatorial Test Data
Automated Refactoring for Testability
Isolating First Order Equivalent Mutants via Second Order Mutation
Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints
CHECK-THEN-ACT Misuse of Java Concurrent Collections
State Profiling of Internal Variables
ICST Tool Competition 2025 - Self-Driving Car Testing Track
Supporting Test-Driven Development of Graphical User Interfaces Using Agile Interaction Design
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation
Identifying Useful Mutants to Test Time Properties
Postconditioned Symbolic Execution
Automating Differential Testing with Overapproximate Symbolic Execution
Testing Android Incoming Calls
An Abstract Operational Framework for Dependence Models in Software Debugging
Localizing and Fixing Faults in SQL Predicates
One-click formal methods
Boundary Value Exploration for Software Analysis
Adding Criteria-Based Tests to Test Driven Development
Program Repair at Arbitrary Fault Depth
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
Incremental Model-Based Mutation Testing
Scenario-Based Testing with BeamNG.tech (Hands-On Training)
Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing
An Empirical Study of Parallelizing Test Execution Using CUDA Unified Memory and OpenMP GPU Offloading
On the Right Objectives of Data Flow Testing
Generating Complex and Faulty Test Data through Model-Based Mutation Analysis
Towards Formal Description of Standards for Automotive Operating Systems
Model-Checking Driven Security Testing of Web-Based Applications
Dynamic Shape Analysis Using Spectral Graph Properties
Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability
Using Petri Nets to Test Concurrent Behavior of Web Applications
Automatic Validation and Correction of Formalized, Textual Requirements
Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps
nCanto: An agile software development case study
Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
MESSI: Mutant Evaluation by Static Semantic Interpretation
Experience with a Concurrency Bugs Benchmark
Relationships between Test Suites, Faults, and Fault Detection in GUI Testing
Repairing GUI Test Suites Using a Genetic Algorithm
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems
Randomised Testing of the Compiler for a Verification-Aware Programming Language
Establishing Theoretical Minimal Sets of Mutants
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites
Removing Uninteresting Bytes in Software Fuzzing
ASDF: A Differential Testing Framework for Automatic Speech Recognition Systems
Security Testing with Fault-Models and Properties
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Semantic Metamorphic Testing focusing on Object Rarity
A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation
Repairing DNN Architecture: Are We There Yet?
Automatic Testing of Natural User Interfaces
SMT-C: A Semantic Mutation Testing Tools for C
Summary of Hansie: Hybrid and consensus regression test prioritization
Software-Based Remote Attestation for Safety-Critical Systems
Reflecting the Adoption of Software Testing Research in Open-Source Projects
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
Message from the ITEQS 2017 Chairs
Quality of Automatically Generated Test Cases based on OCL Expressions
Enabling Testing, Design and Refactoring Practices in Remote Locations
Model-Based Vulnerability Testing for Web Applications
Timed Model-Based Mutation Operators for Simulink Models
MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio
Coverage Specification for Test Case Intent Preservation in Regression Suites
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation
A Model-Based Test Script Generation Framework for Embedded Software
Functional Programming Way to Interact with Software Attacks and Vulnerabilities
WS-TAXI: A WSDL-based Testing Tool for Web Services
Test Data Provision for ERP Systems
Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System
An Automated Testing Framework For Smart TV apps Based on Model Separation
Automated SQA Framework with Predictive Machine Learning in Airfield Software
Brewing Up Reliability: Espresso Test Generation for Android Apps
Generating Test Data to Distinguish Conjunctive Queries with Equalities
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
A Virtual Bank for Development and Testing
QuickChecking Static Analysis Properties
Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015
A Counter-Example Testing Approach for Orchestrated Services
Definition and evaluation of mutation operators for GUI-level mutation analysis
Clustering of Usage Traces for Regression Test Cases Selection
Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System
How we use Hermetic, Ephemeral Test Environments at Google to reduce Test Flakiness
Determining Method-Call Sequences for Object Creation in C++
On the Energy Consumption of Test Generation
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates
RiverGame - a game testing tool using artificial intelligence