db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
@InProceedings{Brown09b,
title = "{T}races for {T}esting",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
author= "Brown, Neil C.C.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
editor= "Welch, Peter H. and Roebbers, Herman and Broenink, Jan F. and Barnes, Frederick R. M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, G. S. and Vinter, Brian",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
pages = "--",
booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2009",
isbn= "978-1-60750-065-0",
year= "2009",
month= "nov",
abstract= "CHP, the Haskell concurrency library, has recently
been
augmented with new testing capabilities. When a test
case fails, its
recorded event traces are automatically
printed out -- with support for
CSP, VCR and Structural
trace styles."
}