Re: [abc] Tracematch / Program Monitoring paper

Eric Bodden wrote:

>On the other hand I think it's a nice benchmark because it's a
>really large scale application and spends most of it's time in
>deterministically computing things (and not for instance graphics or
>IO)... I don't know. What do you guys think about it?
>
>
Past experience shows that non-IO intensive benchmarks are useful.
However, keep in mind that just having a base program in itself is not
sufficient -- can you think of a useful tracematch to apply to it? Will
it be expressible in other formalisms? Only if you have a very good
trace property connected with it is it worthwhile trying to debug it...

- P
Received on Fri Jan 20 15:30:43 2006