gistfile1.txt

Papers in Brian Troutwine's Moonconf talk:

"The Case of the Three Engineers vs. BART" :: Gordan Friedlander - 1974
"SIGSOFT Vol. 6 No. 2: Frontmatter" :: 1981
"The BUG Heard 'Round the World: Discussion of The Software Problem Which Delayed the First Shuttle Orbital Flight" :: John Garman - 1981
"Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems" :: Robin R. Lutz - 1993
"Eliminating Embedded Software Defects Prior to Integration Test" :: Ted Bennett, Paul Wennberg - 2005
"Engineering a Safer World: Systems Thinking Applied to Safety" :: Nancy Leveson - 2011
"The Role of Software in Spacecraft Accidents" :: Nancy Leveson - 2004
"The OpenBSD Culture" :: David Gwynne - 2006
"Going Fast Slowly" :: Poul-Henning Kamp, 2016
"How SQLite is Tested" :: Dwayne Hipp - 2009
"An Evaluation of Randomized Testing" :: Joe Duran, Simeon Ntafos - 1984
"QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs" :: Coen Claessen, John Hughes - 2000
"An Experimental Evaluation of the Assumption of Independence in Multiversion Programming" :: Nancy Leveson, John Knight - 1986
"Rigorous Software Development: An Introduction to Program Verification" :: Jose Almedia et al., 2011
"Building High Integrity Applications with SPARK" :: John McCormick, Peter Chapin - 2015
"Formal Specification and Documentation with Z A Case Study Approach" :: Jonathan Bowen, 2003
"Moving Fast with Software Verification" :: Cristiano Calcagno et al., 2015
"Out of the Tar Pit" :: Ben Moseley, Peter Marks - 2006
"Normal Accidents: Living with High-Risk Technologies" :: Charles Perrow - 1986
"Crash-Only Software" :: George Candea, Armando Fox - 2003
"Making Reliable Distributed Systems in the Presence of Software Errors" :: Joe Armstrong - 2003