Specification-based program repair using SAT (Q3000646)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Specification-based program repair using SAT |
scientific article; zbMATH DE number 5897404
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Specification-based program repair using SAT |
scientific article; zbMATH DE number 5897404 |
Statements
Specification-Based Program Repair Using SAT (English)
0 references
19 May 2011
0 references
0.7740095853805542
0 references
0.7562360167503357
0 references
0.7561756372451782
0 references
0.7471245527267456
0 references
0.7321567535400391
0 references
