Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Files
Date
2015
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