Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Webinars
Statistics
Help
Your ORBilu journey: new or leaving UL
User Guide
FAQ
Publication list
Document types
Reporting
Training
ORCID
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Legal Information
Data protection
Legal notices
Add a publication
Back
Home
Understanding user understanding: determining correctness of generated program invariants - 2012
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
copy to clipboard
copied
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
116 (4 by Unilu)
Number of downloads
506 (2 by Unilu)
More statistics
Scopus citations
®
28
Scopus citations
®
without self-citations
25
Bibliography
Similar publications
Contact ORBilu
