Symbolic Fault Injection
Paper in proceedings, 2007

Author

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Daniel Larsson

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007

1613-0073 (ISSN)

Vol. 259 85-103

Subject Categories

Software Engineering

Computer Science

More information

Created

10/6/2017