AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS
| Title | AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS |
| Publication Type | Miscellaneous |
| Year of Publication | 2016 |
| Authors | Georgios Fainekos |
| Keywords | 1350420 |
| Citation Key | Fainekos2016prov_pat |