A.Wilson M.Burnett L.Beckwith O.Granatir L.Casburn C.Cook M.Durham G.Rothermel Harnessing curiosity to increase correctness in end-user programming 2003 Despite their ability to help with program correctness, assertions have been notoriously unpopular–-even with professional programmers. End-user programmers seem even less likely to appreciate the value of assertions; yet end-user programs suffer from serious correctness problems that assertions could help detect. This leads to the following question: can end users be enticed to enter assertions? To investigate this question, we have devised a curiosity-centered approach to eliciting...