Index of /~coppit/other-papers

Icon  Name                                             Last modified      Size  Description
[   ] 008_Feedback-directed_Random_Test_Generation.pdf 06-Sep-2007 18:25 238K [   ] 048_Predicting_Faults_from_Cached_History.pdf 06-Sep-2007 18:29 347K [   ] 09630059.pdf 05-Oct-2006 14:02 189K [   ] 09630126.pdf 05-Oct-2006 14:00 1.5M [   ] 25CR.pdf 24-Aug-2004 19:21 78K [   ] 21310144.pdf 05-Oct-2006 13:48 161K [   ] 22150283.pdf 05-Oct-2006 14:27 359K [   ] 25790241.pdf 06-Sep-2007 18:35 198K [   ] ClarkeWing96.pdf 06-Sep-2007 18:33 291K [   ] ESEC_FSE_2001.pdf 24-Aug-2004 19:21 104K [   ] Havelund-etal-00.pdf 28-Jul-2005 11:32 75K [   ] Ko2005MaintenanceTasks.pdf 30-Aug-2006 12:59 1.5M [   ] Korat-ISSTA02.pdf 24-Aug-2004 19:21 141K [   ] MCO_charts.pdf 27-Jul-2005 09:46 158K [   ] MCO_report.pdf 27-Jul-2005 09:45 346K [   ] MarinovETAL03Evaluation.pdf 29-Aug-2006 16:43 181K [   ] MultipleMassMarketApplicationsAsComponents.pdf 24-Aug-2004 19:21 105K [   ] OOPSLA1999.pdf 24-Aug-2004 19:21 119K [   ] Pub1114_scr.pdf 31-Aug-2005 10:37 773K [   ] SOSPhowto.pdf 24-Aug-2004 19:21 121K [   ] SRC-159.pdf 27-Jul-2005 16:24 161K [   ] alcoa-algorithm.pdf 24-Aug-2004 19:21 153K [   ] alloy-journal.pdf 27-Jul-2005 10:43 342K [   ] alloy-reference-manual.pdf 18-Jul-2005 09:12 404K [   ] archmismatch-icse17.pdf 24-Aug-2004 19:21 57K [   ] ariane5.php 03-Feb-2006 09:58 40K [   ] ase2003.pdf 24-Aug-2004 23:41 106K [   ] baniassad2004.pdf 24-Aug-2004 23:42 216K [   ] basili-experimentation.pdf 24-Aug-2004 19:21 5.3M [   ] basili-iterative.pdf 24-Aug-2004 19:21 4.2M [   ] bibliography.php 12-Sep-2007 14:27 30K [   ] brooks-nsb.pdf 24-Aug-2004 19:21 3.8M [   ] c_by_c_secure_system.pdf 28-Jul-2005 11:58 416K [   ] cade92-pvs.pdf 28-Jul-2005 13:17 163K [   ] cathedral-bazaar.pdf 29-Aug-2006 16:00 384K [   ] deremer-large.pdf 24-Aug-2004 19:21 2.0M [   ] derive.ps 24-Aug-2004 19:21 294K [   ] dijkstra-reliability.php 03-Feb-2006 09:58 32K [   ] e0019.pdf 24-Aug-2004 19:21 2.0M [   ] e0024.pdf 24-Aug-2004 19:21 2.3M [   ] e0142.pdf 24-Aug-2004 19:21 1.2M [   ] e0183.pdf 05-Oct-2006 14:06 676K [   ] e0238.pdf 24-Aug-2004 19:21 1.5M [   ] e0760.pdf 05-Oct-2006 13:54 2.6M [   ] e0889.pdf 05-Oct-2006 14:03 621K [   ] e0900.pdf 05-Oct-2006 14:29 1.8M [   ] ernst-tse01.pdf 24-Aug-2004 19:21 1.2M [   ] escjava2-manual.php 22-Mar-2006 09:05 334K [   ] esecfse05-kim-clonegenealogies.pdf 05-Oct-2006 14:11 199K [   ] exe-ccs-06.pdf 05-Oct-2006 14:40 1.0M [   ] fagan.pdf 24-Aug-2004 19:21 7.0M [   ] formal_specification_roadmap.pdf 27-Jul-2005 10:38 82K [   ] fuzz-nt.pdf 22-Jun-2006 16:07 107K [   ] fuzz-revisited.pdf 22-Jun-2006 16:07 270K [   ] fuzz.pdf 22-Jun-2006 16:07 89K [   ] gibbs-crisis.pdf 24-Aug-2004 19:21 4.3M [   ] goel-reliability.pdf 24-Aug-2004 19:21 6.0M [   ] goto.pdf 24-Aug-2004 19:21 62K [   ] gupta2004.pdf 24-Aug-2004 23:42 298K [   ] harris95reverse.ps 24-Aug-2004 19:21 497K [   ] havelund98model.pdf 28-Jul-2005 13:21 293K [   ] heninger.pdf 24-Aug-2004 19:21 260K [   ] hints_to_specifiers.pdf 27-Jul-2005 10:35 202K [   ] historys_worst_bugs.php 03-Feb-2006 09:58 11K [   ] hoare_axiomatic.pdf 04-Aug-2005 11:25 643K [   ] icse2002.pdf 24-Aug-2004 19:21 178K [   ] intro_softarch.pdf 24-Aug-2004 19:21 152K [   ] issta_2004_bounded_exhaustive_testing.pdf 24-Aug-2004 23:42 164K [   ] jsm.ps 24-Aug-2004 19:21 1.3M [   ] jsr.pdf 27-Jul-2005 17:05 174K [   ] kiczales-ECOOP1997-AOP.pdf 24-Aug-2004 19:21 93K [   ] liskov-abstractions.pdf 24-Aug-2004 19:21 3.9M [   ] mankefors.pdf 24-Aug-2004 23:42 2.5M [   ] massprod.pdf 24-Aug-2004 19:21 92K [   ] mco-oberg.php 03-Feb-2006 09:58 35K [   ] mills-structured.pdf 24-Aug-2004 19:21 3.1M [   ] mpiat_report_1.pdf 27-Jul-2005 09:51 108K [   ] mpiat_report_2.pdf 27-Jul-2005 09:51 120K [   ] mpiat_summary.pdf 27-Jul-2005 09:51 38K [   ] mpl_report_1.pdf 27-Jul-2005 09:51 406K [   ] mpl_report_2.pdf 27-Jul-2005 09:51 344K [   ] mpl_report_3.pdf 27-Jul-2005 09:51 410K [   ] mpl_report_4.pdf 27-Jul-2005 09:50 267K [   ] mpl_report_5.pdf 27-Jul-2005 09:50 218K [   ] osterweil.pdf 24-Aug-2004 19:21 3.2M [   ] p18-smith.pdf 28-Jul-2005 12:11 1.0M [   ] p28-carroll.pdf 24-Aug-2004 19:21 2.5M [   ] p36-howden.pdf 24-Aug-2004 19:21 1.9M [   ] p122-apel.pdf 06-Sep-2007 18:31 194K [   ] p125-leveson.pdf 24-Aug-2004 19:21 4.0M [   ] p131-krueger.pdf 24-Aug-2004 19:21 4.7M [   ] p159-adrion.pdf 24-Aug-2004 19:21 2.9M [   ] p166-sullivan.pdf 21-Sep-2006 10:22 212K [   ] p188-chu-carroll.pdf 05-Oct-2006 13:37 1.7M [   ] p207-brooks.pdf 24-Aug-2004 19:21 832K [   ] p228-griswold.pdf 24-Aug-2004 19:21 2.7M [   ] p265-griswold.pdf 24-Aug-2004 19:21 365K [   ] p271-de_millo.pdf 24-Aug-2004 19:21 1.1M [   ] p279-parnas.pdf 24-Aug-2004 19:21 961K [   ] p361-anvik.pdf 06-Sep-2007 18:44 198K [   ] p626-clarke.pdf 24-Aug-2004 19:21 291K [   ] parnas-ease.pdf 24-Aug-2004 19:21 2.9M [   ] parnas-fake.pdf 24-Aug-2004 19:21 2.3M [   ] parnas-families.pdf 24-Aug-2004 19:21 3.8M [   ] parnas-modular-structure.pdf 24-Aug-2004 19:21 45K [   ] parnas.12.72.pdf 24-Aug-2004 19:21 81K [   ] pathfinder-jones.php 03-Feb-2006 09:58 9.1K [   ] pathfinder-reeves.php 03-Feb-2006 09:58 18K [   ] patriot_missile.pdf 28-Jul-2005 11:05 1.7M [   ] pldi96.pdf 24-Aug-2004 19:21 102K [   ] pldi2005.pdf 05-Oct-2006 14:32 158K [   ] predict-faults-icse2007.pdf 12-Sep-2007 14:26 358K [   ] pvs-language-reference.pdf 24-Aug-2005 17:04 702K [   ] pvs-prover-guide.pdf 18-Jul-2005 12:57 836K [   ] pvs-refcard.pdf 24-Aug-2005 17:04 307K [   ] r2057.pdf 24-Aug-2004 19:21 560K [   ] r3074.pdf 24-Aug-2004 19:21 130K [   ] r5023.pdf 24-Aug-2004 19:21 242K [   ] r5032.pdf 24-Aug-2004 19:21 1.4M [   ] r5061.pdf 24-Aug-2004 19:21 1.7M [   ] r7018.pdf 24-Aug-2004 19:21 4.6M [   ] r9008.pdf 24-Aug-2004 19:21 2.4M [   ] rothermel96analyzing.pdf 24-Aug-2004 19:21 401K [   ] rushby97calculating.pdf 28-Jul-2005 12:18 153K [   ] rx070.pdf 24-Aug-2004 19:21 189K [   ] s2050.pdf 24-Aug-2004 19:21 1.8M [   ] s4034.pdf 28-Jul-2005 13:04 1.3M [   ] s5011.pdf 24-Aug-2004 19:21 1.4M [   ] s5054.pdf 24-Aug-2004 19:21 131K [   ] s6015.pdf 24-Aug-2004 19:21 1.6M [   ] s6023.pdf 24-Aug-2004 19:21 2.6M [   ] schuler-ase-2007.pdf 06-Sep-2007 18:27 239K [   ] science.pdf 24-Aug-2004 19:21 410K [   ] shaw-icse03.pdf 24-Aug-2004 19:21 250K [   ] stepwise.pdf 24-Aug-2004 19:21 167K [DIR] test-data-generation/ 30-Jan-2007 10:06 - [   ] testera_asej02.pdf 24-Aug-2004 23:42 256K [   ] therac-revised.pdf 12-Sep-2006 09:04 359K [   ] titan_1999_report.pdf 27-Jul-2005 10:11 263K [   ] tucker_noonan_ch12.pdf 28-Jul-2005 08:56 286K [   ] valgrind.ps 24-Aug-2004 19:21 354K [   ] weiser-slicing-icse.pdf 24-Aug-2004 19:21 10M [   ] yours_faithfully.pdf 29-Aug-2006 14:56 118K
Apache/2.2.10 (Linux/SUSE) Server at www.cs.wm.edu Port 80