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 - 15 of 15)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Generating Class-Level Integration Tests Using Call Site Information
Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
PropR: Property-Based Automatic Program Repair
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
Crash Reproduction Using Helper Objectives
Search-Based Crash Reproduction and Its Impact on Debugging
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 - 15 of 15)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel