Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Afficher la notice abrégée

dc.contributor.author Galeotti, Juan P.
dc.contributor.author Furia, Carlo A.
dc.contributor.author May, Eva
dc.contributor.author Fraser, Gordon
dc.contributor.author Zeller, Andreas
dc.date.accessioned 2022-02-20T13:10:26Z
dc.date.available 2022-02-20T13:10:26Z
dc.date.issued 2015
dc.identifier.issn 0098-5589
dc.identifier.uri http://repository.usthb.dz//xmlui/handle/123456789/8991
dc.description 1019-1037 p. ; 908ko. en_US
dc.language.iso en en_US
dc.publisher Institute of electrical and electronics engineers en_US
dc.subject Java (langage de programmation) en_US
dc.subject Prototypage (informatique) en_US
dc.subject DYNAMATE : prototype en_US
dc.subject Vérification automatique en_US
dc.subject Invariants de boucle en_US
dc.title Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking en_US
dc.type Article en_US


Fichier(s) constituant ce document

Icon
Nom: nl3272.pdf
Taille: 907.2Ko
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Parcourir

Mon compte