ResearchDatasetsexpatexpatFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsBug Detectionexpat8Number of Harnesses4Code Coverage Analysisexpat4,246Covered Branches4Symbolic Executionexpat305Peak Memory (MB)2