yusuke1997/dblp-id-title huggingface dataset:
Automated Detection of Discontinuities in Models Inferred from Execution Traces
Making the Case for MORTO: Multi Objective Regression Test Optimization
A process to increase the model quality in the context of model-based testing
Adaptive Testing for LLM-Based Applications: A Diversity-Based Approach
A Large-scale Study on API Misuses in the Wild
An Intelligent Monitoring Algorithm to Detect Dependencies between Test Cases in the Manual Integration Process
MFL: Method-Level Fault Localization with Causal Inference
Testing for Implicit Inconsistencies in Documentation and Implementation
Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android
Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code Analysis
Test Case Generation from Mutants Using Model Checking Techniques
Runtime Prioritization with the Classification Tree Method for Test Automation
Industrial Application of Concolic Testing on Embedded Software: Case Studies
An Evaluation of Two Bug Pattern Tools for Java
SimEvo: A Toolset for Simulink Test Evolution & Maintenance
Using Methods & Measures from Network Analysis for GUI Testing
Exploiting Common Object Usage in Test Case Generation
Shifting Gears in Continuous Integration: BMW's Strategies for High-Velocity Builds
An Evaluation of Model-Based Testing in Embedded Applications
Inducing Subtle Mutations with Program Repair
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems
From User Stories to End-to-end Web Testing
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool
Events-Based Security Monitoring Using MMT Tool
LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
Metamorphic Testing of Stochastic Optimisation
ICST 2020 CI/CD Industry Workshop Program
TITAN: Test Suite Optimization for Highly Configurable Software
Checking Properties on the Control of Heterogeneous Systems
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing
When it comes to Testing, is Usability the Closest Analogy to Security?
Learning-Based Fuzzing of IoT Message Brokers
Augmenting Equivalent Mutant Dataset Using Symbolic Execution
An Empirical Study of Pre-release Software Faults in an Industrial Product Line
Automated WAIT for Cloud-Based Application Testing
TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results
An Empirical Comparison of Combinatorial and Random Testing
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing
EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games
Search-Based Security Testing of Enterprise Microservices
Parallelization of Classical Numerical optimization in Quantum Variational Algorithms
BEN: A combinatorial testing-based fault localization tool
On Service-to-Service Integration Testing in Microservice Systems
A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information
Industrial Oriented Evaluation of Fuzzing Techniques
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal
A Study on the Effectiveness of Test-Categories Based Test Analysis
Mastering Specification Heterogeneity with Multifacet Analysis
Applications of Practical Combinatorial Testing Methods at Siemens Industry Inc., Building Technologies Division
Simulation for Robotics Test Automation: Developer Perspectives
Reproducing Field Failures for Programs with Complex Grammar-Based Input
The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults
Towards Fully Automated Test Management for Large Complex Systems
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island
TAIC PART 2014 Workshop Overview
Designing Deletion Mutation Operators
Simulated Satisfaction of Coverage Criteria on UML State Machines
Applying Mutation Testing to Web Applications
Simulation of Multi-Formalism Models with ModHel'X
Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults
Combinatorial Interaction Testing with CITLAB
Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits
Considering Signal Constraints in Search-Based Testing of Continuous Systems
Automatically Generating Test Scripts for GUI Testing
Structural Feature Extraction for GUI Test Enhancement
Impact of Education and Experience Level on the Effectiveness of Exploratory Testing: An Industrial Case Study
Optimal Resource Allocation for Batch Testing
Regression Testing Ajax Applications: Coping with Dynamism
Random Selection Might Just be Indomitable
Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis
Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs
AVA: Supporting Debugging with Failure Interpretations
A pragmatic look at education and training of software test engineers: Further cooperation of academia and industry is needed
Integrating Testing Throughout the CS Curriculum
Data Frequency Coverage Impact on AI Performance
CrowdOracles: Can the Crowd Solve the Oracle Problem?
Model-based Automated Testing of Mobile Applications: An Industrial Case Study
Test Automation Improvement Model - TAIM 2.0
Using Visual Symptoms for Debugging Presentation Failures in Web Applications
Dynamic Prioritization in Regression Testing
Security Threat Identification and Testing
Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
A Demo on Using Visualization to Aid Run-Time Verification of Dynamic Service Systems
The Theory of Composite Faults
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
Challenges with Software Verification and Validation Activities in the Space Industry
A Late Treatment of C Precondition in Dynamic Symbolic Execution
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV
Combinatorial Methods for Enhancing the Resilience of Production Facilities
A Metric Framework for the Gamification of Web and Mobile GUI Testing
Improved Bug Reporting and Reproduction through Non-intrusive GUI Usage Monitoring and Automated Replaying
Finding Redundancy in Web Mutation Operators
Temporal White-Box Testing Using Evolutionary Algorithms
Test Sequence Generation with Cayley Graphs
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation
Sound and Quasi-Complete Detection of Infeasible Test Requirements
Evaluating Testing Strategies for Imaging Software by Means of Mutation Analysis
Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing
Dependency-Aware Web Test Generation
Test Harness Mutilation
Case Studies in Learning Models and Testing Without Reset
Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices
Accelerating Test Automation through a Domain Specific Language
Searching for Safety Violations Using Estimation of Distribution Algorithms
Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models
Software Metrics for Policy-Driven Software Development Life Cycle Automation
Benchmarking Generative AI Models for Deep Learning Test Input Generation
GUI Testing Techniques Evaluation by Designed Experiments
Efficiently Finding Data Flow Subsumptions
Metamorphic Security Testing for Web Systems
Detecting and Localizing Internationalization Presentation Failures in Web Applications
Teaching Bug Advocacy Through Flipped Classroom
A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems
Model-Based Testing for MAPE-K adaptation control loops
CubeTesterAI: Automated JUnit Test Generation Using the LLaMA Model
SleepReplacer-GPT: AI-Based Thread Sleep Replacement in Selenium WebDriver Tests
Using Semantic Similarity in Crawling-Based Web Application Testing
Generating Tests for the Discovery of Security Flaws in Product Variants
Software Testing in Industry and Academia: A View of Both Sides in Japan
Inverse Model Based Testing - Generating Behavior Models from Abstract Test Cases
Rich Internet Application Testing Using Execution Trace Data
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections
Building Combinatorial Test Input Model from Use Case Artefacts
Test Automation on a SaaS Platform
An Industrial Case-Study on GUI Testing With RPA
A Taxonomy of Integration-Relevant Faults for Microservice Testing
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
Empirical Studies of Privacy-Preserving Regression Test Selection Techniques for Web Services
Automated Testing in Railways: Leveraging Robotic Arm Precision and Efficiency for Superior Customizability and Usability Test Case Execution
Metamorphic Fuzzing of C++ Libraries
Witness Test Program Generation through AST Node Combinations
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Patterns to Improve Fidelity for Model-Based Testing
Automotive system testing by independent guarded assertions
Practical Experience Gained from Passive Testing of Web Based Systems
An Integrated Metamodel of Test Scenario to Conform Automotive Standards
A learning-based method for detecting defective classes in object-oriented systems
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
Partitioned Search with Column Resampling for Locating Array Construction
Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study
Automating GUI-based Software Testing with GPT-3
Machine Learning to Guide Performance Testing: An Autonomous Test Framework
Towards a Gamified Equivalent Mutants Detection Platform
Evaluating Automated Software Verification Tools
TAIC PART 2013 Workshop Summary
Design and construction of requirement specifications ambiguity detection support method
A Unified Approach for Localizing Non-deadlock Concurrency Bugs
Benchmarking Effectiveness for Object-Oriented Unit Testing
Message from ESSS 2013 Workshop Co-chairs
Closing the Gap between Unit Test Code and Documentation
Active Model Learning of Git Version Control System
Test generation from timed pushdown automata with inputs and outputs
Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques
Metamorphic Testing with Causal Graphs
Pinpointing Anomaly Events in Logs from Stability Testing - N-Grams vs. Deep-Learning
Measuring and Improving Latency to Avoid Test Suite Wear Out
Finding Software Vulnerabilities by Smart Fuzzing
A Survey on the Verification and Validation of Artificial Pancreas Software Systems
Generic and Effective Specification of Structural Test Objectives
How Can Software Testing be Improved by Analytics to Deliver Better Apps?
MuVM: Higher Order Mutation Analysis Virtual Machine for C
Breeding High-Impact Mutations
Testing Machine Learning Algorithms for Balanced Data Usage
Nequivack: Assessing Mutation Score Confidence
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts
On Strong Mutation and Subsuming Mutants
Semantic-based and Learning-based Regression Test Selection focusing on Test Objectives
Prioritizing User-Session-Based Test Cases for Web Applications Testing
Software Testing Research Challenges: An Industrial Perspective
Large Scale Generation of Complex and Faulty PHP Test Cases
Optimizing Constraint Solving to Better Support Symbolic Execution
An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON
Combination Frequency Differencing for Identifying Design Weaknesses in Physical Unclonable Functions
Timed Moore Automata: Test Data Generation and Model Checking
Systematic Test Platform Selection: Reducing Costs for Testing Software-Based Automotive E/E Systems
Using Search-Based Software Testing to Guide the Strive for Robust Machine Learning Components: Lessons Learned Across Systems and Simulators in the Mobility Domain
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution
(Un-)Covering Equivalent Mutants
Evaluating a Test Automation Decision Support Tool
Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
It is Not the Length That Matters, It is How You Control It
Towards a Deep Learning Model for Vulnerability Detection on Web Application Variants
Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Automatic and Incremental Product Optimization for Software Product Lines
E2E-Loader: A Framework to Support Performance Testing of Web Applications
A Protocol Fuzzing Framework to Detect Remotely Exploitable Vulnerabilities in IoT Nodes
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
Towards Automated, Formal Verification of Model Transformations
Seasonal Variation in the Vulnerability Discovery Process
Software Bug Prediction Model Based on Mathematical Graph Features Metrics
Designing and Building a Software Test Organization
Complex Software Testing Analysis using International Standards
Checking Experiments for Symbolic Input/Output Finite State Machines
Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing
Testing and Validating the Quality of Specifications
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
Co-Evolution of Model-Based Tests for Industrial Automotive Software
Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural Networks
Mutation Analysis of Parameterized Unit Tests
Applications of Optimization to Logic Testing
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models
Distributed In Vivo Testing of Software Applications
Random Testing: Evaluation of a Law Describing the Number of Faults Found
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts
Weighting for Combinatorial Testing by Bayesian Inference
An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations
Symbolic Verification of Message Signatures in MPI
Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009
Inferring Types of References to GUI Objects in Test Scripts
Generating Succinct Test Cases Using Don't Care Analysis
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study
Structural Backdoor Attack on IoT Malware Detectors via Graph Explainability
Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing
A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models
Model transformation testing: oracle issue
Towards Continuous Integration for Combinatorial Testing
Prompt Engineering Impacts to Software Test Architectures for Beginner to Experts
Team Activities Measurement Method for Open Source Software Development Using the Gini Coefficient
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests
Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study
Empirically Evaluating Regression Testing Techniques: Challenges, Solutions, and a Potential Way Forward
Distributed Repair of Deep Neural Networks
Analysis of mutation operators for FSM testing
Successive Refinement of Models for Model-Based Testing to Increase System Test Effectiveness
GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software
MemFuzz: Using Memory Accesses to Guide Fuzzing
Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach
Beyond code coverage - An approach for test suite assessment and improvement
A Model for the Measurement of the Runtime Testability of Component-Based Systems
Using Control Charts for Detecting and Understanding Performance Regressions in Large Software
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective
Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice
WebSee: A Tool for Debugging HTML Presentation Failures
Private API Access and Functional Mocking in Automated Unit Test Generation
Prioritization of Test Cases Using Software Agents and Fuzzy Logic
Enabling Pre-Merge CI on your TV
Experiences of System-Level Model-Based GUI Testing of an Android Application
Testing Web Applications Through Layout Constraints
Incremental generation of combinatorial test suites starting from existing seed tests
Applying Change Impact Analysis Test to Migration Test Case Extraction Based on IDAU and Graph Analysis Techniques
Providing a Software Quality Framework for Testing of Mobile Applications
Testing of a telecommunication protocol using constraint programming
Using mutation testing to measure behavioural test diversity
GEMS: A Generic Model Based Source Code Instrumentation Framework
ACTS: A Combinatorial Test Generation Tool
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking
On Investigating Code Smells Correlations
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction
Test Case Prioritization Due to Database Changes in Web Applications
Trace-based Reflexive Testing of OO Programs with T2
Effects of an Economic Approach for Test Case Selection and Reduction for a Large Industrial Project
Why do Record/Replay Tests of Web Applications Break?
Supporting the Transition to an Agile Test Matrix
Specification of UML Model Transformations
A Controlled Experiment in Testing of Safety-Critical Embedded Software
METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities
Tailored Shielding and Bypass Testing of Web Applications
Mutation Testing in Continuous Integration: An Exploratory Industrial Case Study
Resurgence of Regression Test Selection for C++
Industrial Scale Passive Testing with T-EARS
A Search-Based Testing Framework for Deep Neural Networks of Source Code Embedding
Combinatorial Testing Metrics for Machine Learning
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper)
Model Based Test Specifications: Developing of Test Specifications in a Semi Automatic Model Based Way
Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board
A Simple Coverage-Based Locator for Multiple Faults
Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It
Summary of Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing
Practical Amplification of Condition/Decision Test Coverage by Combinatorial Testing
A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing
Multi-company Consumer Product Software Test Architecture Industry Experience Report
The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects
From BDD Scenarios to Test Case Generation
MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria
T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols
Why are Bug Reports Invalid?
PKorat: Parallel Generation of Structurally Complex Test Inputs
A Query Driven Security Testing Framework for Enterprise Network
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings
A DSL for Deployment and Testing in the Cloud
Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report
An Extensible Heuristic-Based Framework for GUI Test Case Maintenance
Using Reinforcement Learning for Security Testing: A Systematic Mapping Study
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software
Random Grammar-Based Testing for Covering All Non-terminals
Testing When Mobile Apps Go to Background and Come Back to Foreground
Search-based Testing using State-based Fitness
Identification of Anomalies in Processes of Database Alteration
Towards Context-Aware Spectrum-Based Fault Localization
Testing Grid Application Workflows Using TTCN-3
Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
Dynamic Integration Test Selection Based on Test Case Dependencies
A Runtime Monitoring Environment for Mobile Java
Poster: Testing Complex Event Patterns
Agent-Based Test Case Prioritization
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems
Behavioral Execution Comparison: Are Tests Representative of Field Behavior?
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation
Querying UML Models using OCL and Prolog: A Performance Study
Exploring and Mitigating Gradient Leakage Vulnerabilities in Federated Learning
SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset using SELF-INSTRUCT
Probabilistic Error Propagation Modeling in Logic Circuits
Automated Detection of TalkBack Interactive Accessibility Failures in Android Applications
An Automated Framework for Cost Reduction of Mutation Testing Based on Program Similarity
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
Kernel Density Adaptive Random Testing
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
MACS: Multi-Agent Adversarial Reinforcement Learning for Finding Diverse Critical Driving Scenarios
AURORA: AUtomatic RObustness coveRage Analysis Tool
HOMAJ: A Tool for Higher Order Mutation Testing in AspectJ and Java
Constraint-Based Program Debugging Using Data Structure Repair
CA 2 : Practical Archival and Compression of Covering Arrays
A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems
Using Mutants to Locate "Unknown" Faults
Decision Support for Test Management and Scope Selection in a Software Product Line Context
IEEE International Conference on Software Testing, Verification and Validation, ICST 2024 - Workshops, Toronto, ON, Canada, May 27-31, 2024
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring
First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008
LatteArt: A Platform for Recording and Analyzing Exploratory Testing
A Fault Model Framework for Quality Assurance
Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models
Context-Based Event Trace Reduction in Client-Side JavaScript Applications
Towards a Learning Environment for Internet of Things Testing with LEGO® MINDSTORMS®