Reference : Understanding user understanding: determining correctness of generated program invariants
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/10975
Understanding user understanding: determining correctness of generated program invariants
English
Staats, Matthew mailto [Division of Web Science and Technology > KAIST > South Korea]
Hong, Shin [> >]
Kim, Moonzoo [> >]
Rothermel, Gregg [> >]
2012
ISSTA
Yes
ISSTA 2012
July 2012
http://hdl.handle.net/10993/10975
188-198

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
staats-invariant-understanding-issta-2012.pdfPublisher postprint389.2 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.