Understanding user understanding: determining correctness of generated program invariants

Reference : Understanding user understanding: determining correctness of generated program invariants


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10975

Title :	Understanding user understanding: determining correctness of generated program invariants
Language :	English
Author, co-author :	Staats, Matthew [Division of Web Science and Technology > KAIST > South Korea]
	Hong, Shin [> >]
	Kim, Moonzoo [> >]
	Rothermel, Gregg [> >]
Publication date :	2012
Main document title :	ISSTA
Peer reviewed :	Yes
Event name :	ISSTA 2012
Event date :	July 2012
Permalink :	http://hdl.handle.net/10993/10975
Commentary :	188-198

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	staats-invariant-understanding-issta-2012.pdf		Publisher postprint	389.2 kB	View/Open

All documents in ORBi^lu are protected by a user license.