Index of /~coppit/other-papers
Name Last modified Size Description
![[ ]](/icons/layout.gif)
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
![[ ]](/icons/unknown.gif)
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
![[ ]](/icons/a.gif)
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]](/icons/folder.gif)
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