What attributes of the language design could make certain categories of bugs less common? For example, could we drive out race condition bugs by automating some kind of fuzz testing that artificially orders different code paths in different ways relative to each other?
Read this academic study: http://macbeth.cs.ucdavis.edu/lang_study.pdf
What attributes of the language design could make certain categories of bugs less common? For example, could we drive out race condition bugs by automating some kind of fuzz testing that artificially orders different code paths in different ways relative to each other?