Failure Analysis in CPS Simulink Models
Test case generation
A Rapid Review on Fuzz Security Testing for Software Protocol Implementations
Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language
On the Evaluation of Photometric Stereo Application Testing
Seeding Contradiction: a fast method for generating full-coverage test suites
Test Automation and Design
Automated Testing of Systems of Systems
Empirical Verification of TQED - a New Test Design Heuristic Technique
How Do Different Types of Testing Goals Affect Test Case Design?
Multi-device, robust, and integrated Android GUI testing: A conceptual framework
RQCODE: Security Requirements Formalization with Testing
Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior
Who is Afraid of Test Smells? Assessing Technical Debt from Developer Actions
Model Based Testing
A Systematic Literature Review on prioritizing software test cases using Markov chains
Complete Property-Oriented Module Testing
Compositionality in Model-Based Testing
Prioritizing test cases with Markov Chains: a Preliminary Investigation
Probabilistic approach for minimizing checking sequences for nondeterministic FSMs
AI and Smart Contracts Testing
Applying Pairwise Combinatorial Testing to Large Language Model Testing
CATANA: Replay Testing for the Ethereum Blockchain
GResilience: Trading off between the Greenness and the Resilience of Collaborative AI Systems
Testing Quality of Training in QoE-aware SFC Orchestration based on DRL Approach.