SemFix
From MaRDI portal
swMATH17449MaRDI QIDQ29308FDOQ29308
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2486890
Cited In (27)
- DLFix
- An automated system repair framework with signal temporal logic
- KLOVER
- Prophet
- FlashRelate
- Scrapy
- GenProg
- FlashExtract
- ARJA
- Angelix
- ASTOR
- Codeflaws
- Defects4J
- GZoltar
- Nopol
- Qlose
- QuixBugs
- DeepFix
- Ultimate Taipan
- tox
- TarTar
- CodeSearchNet
- DGMS
- JuICe
- PyMT5
- Automatic synthesis of data-flow analyzers
- Connecting program synthesis and reachability: automatic program repair using test-input generation
This page was built for software: SemFix
