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

Simple item page
dc.contributor.authorGaleotti, Juan P.
dc.contributor.authorFuria, Carlo A.
dc.contributor.authorMay, Eva
dc.contributor.authorFraser, Gordon
dc.contributor.authorZeller, Andreas
dc.date.accessioned2022-02-20T13:10:26Z
dc.date.available2022-02-20T13:10:26Z
dc.date.issued2015
dc.description1019-1037 p. ; 908ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/8991
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectJava (langage de programmation)en_US
dc.subjectPrototypage (informatique)en_US
dc.subjectDYNAMATE : prototypeen_US
dc.subjectVérification automatiqueen_US
dc.subjectInvariants de boucleen_US
dc.titleInferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checkingen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3272.pdf
Size:
907.26 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques