Automatically generating test cases for safety-critical software via symbolic execution.
Saved in:
| Title: | Automatically generating test cases for safety-critical software via symbolic execution. |
|---|---|
| Authors: | Kurian, Elson1, e.kurian@campus.unimib.it, Briola, Daniela1, daniela.briola@unimib.it, Braione, Pietro1, pietro.braione@unimib.it, Denaro, Giovanni1, giovanni.denaro@unimib.it |
| Source: | Journal of Systems & Software; May2023, Vol. 199, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01641212 |
|---|---|
| DOI: | 10.1016/j.jss.2023.111629 |
