Understanding user understanding: determining correctness of generated program invariants

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

doi:10.1145/04000800.2336776

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Understanding user understanding: determining correctness of generated program invariants

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

2012 • In ISSTA

Peer reviewed

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

DOI
10.1145/04000800.2336776

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

staats-invariant-understanding-issta-2012.pdf

Publisher postprint (398.54 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

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

Hong, Shin

Kim, Moonzoo

Rothermel, Gregg

Language :

English

Title :

Understanding user understanding: determining correctness of generated program invariants

Publication date :

2012

Event name :

ISSTA 2012

Event date :

July 2012

Main work title :

ISSTA

Peer reviewed :

Peer reviewed

Commentary :

188-198

Available on ORBilu :

since 15 November 2013

Statistics

Number of views

40 (4 by Unilu)

Number of downloads

413 (2 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations