What is SoFi?

SoFi is an abbreviation of “Survival of the Fittest”, meaning that our approach aims to produce more fitting seeds. SoFi incorporates the reflection mechanism and advanced type inference to generate diverse and semantically meaningful test inputs.

Novelty

Our approaches leverage semantic feedback by systematically modifying the inputs.

1. We first proposed the use of dynamic reflection to obtain unseen information and the effect was remarkable.

2. Type inference, path sensitive analysis, and automatic repair are applied to test cases generation.

3. These methods lead to more valid test cases, higher coverage, and more bugs found.

Sitemap

This website contains the following pages:

• Bugs

In this page, we describe the developers' fixes for some vulnerabilities.

• Souce and data

In this page, we provide related data that reviewers may care about.

• Detailed Error Localization Rules

In this page, we provide detailed error localization rules .

Ping me : hexiaoyu@iie.ac.cn