Search
Testing & QA · C++ · By ArabelaTso
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Instrument programs (Python, C/C++, Java) to capture snapshots of key program states at runtime, including variables, memory, and call stacks. | ArabelaTso/ | 253 | — | ~2.2k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Automatically reduces bug-triggering test cases to minimal form while preserving the failure. | ArabelaTso/ | 253 | — | ~2.5k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 3 | Automatically repair buggy code and generate comprehensive tests for Python, Java, and C++ programs. | ArabelaTso/ | 253 | — | ~1.3k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 4 | Selectively instruments code to capture runtime data for debugging failures and bugs. | ArabelaTso/ | 253 | — | ~2.1k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 5 | Automatically updates regression tests based on interval analysis to maintain coverage of key program intervals. | ArabelaTso/ | 253 | — | ~2.7k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 6 | Performs symbolic execution to detect potential errors by exploring execution paths, solving path constraints, and generating test inputs. | ArabelaTso/ | 253 | — | ~3.5k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |