Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: collection%3Air
(1 - 13 of 13)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
PropR: Property-Based Automatic Program Repair
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
Crash Reproduction Using Helper Objectives
Botsing, a Search-based Crash Reproduction Framework for Java
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
Effective and Efficient API Misuse Detection via Exception Propagation and Search-Based Testing
Search-Based Test Data Generation for SQL Queries
Single-objective versus Multi-Objectivized Optimization for Evolutionary Crash Reproduction
A Guided Genetic Algorithm for Automated Crash Reproduction
Evolutionary testing for crash reproduction
Searched for: collection%3Air
(1 - 13 of 13)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel