Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
No Thumbnail Available
Files
Date
2015
Authors
Galeotti, Juan P.
Furia, Carlo A.
May, Eva
Fraser, Gordon
Zeller, Andreas
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
1019-1037 p. ; 908ko.
Keywords
Java (langage de programmation), Prototypage (informatique), DYNAMATE : prototype, Vérification automatique, Invariants de boucle