SemFix
From MaRDI portal
Cited in
(28)- MCGP
- An automated system repair framework with signal temporal logic
- Automatic synthesis of data-flow analyzers
- KLOVER
- Prophet
- Connecting program synthesis and reachability: automatic program repair using test-input generation
- FlashRelate
- Scrapy
- GenProg
- FlashExtract
- ARJA
- Defects4J
- ASTOR
- Nopol
- GZoltar
- Angelix
- Qlose
- Codeflaws
- QuixBugs
- Ultimate Taipan
- DeepFix
- tox
- TarTar
- CodeSearchNet
- DGMS
- JuICe
- PyMT5
- DLFix
This page was built for software: SemFix
