View in EDS

Automatically generating test cases for safety-critical software via symbolic execution.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first