Understanding user understanding: determining correctness of generated program invariants

STAATS, Matthew; Hong, Shin; Kim, Moonzoo; Rothermel, Gregg

doi:10.1145/04000800.2336776

Télécharger

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

Understanding user understanding: determining correctness of generated program invariants

STAATS, Matthew; Hong, Shin; Kim, Moonzoo et al.

2012 • In ISSTA

Peer reviewed

Permalien
https://hdl.handle.net/10993/10975

DOI
10.1145/04000800.2336776

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

staats-invariant-understanding-issta-2012.pdf

Postprint Éditeur (398.54 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

STAATS, Matthew ; Division of Web Science and Technology > KAIST > South Korea

Hong, Shin

Kim, Moonzoo

Rothermel, Gregg

Langue du document :

Anglais

Titre :

Understanding user understanding: determining correctness of generated program invariants

Date de publication/diffusion :

2012

Nom de la manifestation :

ISSTA 2012

Date de la manifestation :

July 2012

Titre de l'ouvrage principal :

ISSTA

Peer reviewed :

Peer reviewed

Commentaire :

188-198

Disponible sur ORBilu :

depuis le 15 novembre 2013

Statistiques

Nombre de vues

62 (dont 4 Unilu)

Nombre de téléchargements

485 (dont 2 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations