Specs

[torial]

I thought this presentation on Specification Mining was interesting and others might like it as well...

The speaker ended up encouraging everyone to use Eiffel- it might be good to contact him and tell him about Cobra

http://www.multimedia.ethz.ch/conferences/2010/fose/02_tuesday?doi=10.3930/ETHZ/AV-cceb365c-a651-4120-a78b-0cef3d399d89&autostart=false

[Charles]

Thanks for sharing this. I haven't had a chance to look at it yet, but definitely will.

[torial]

The author also has a book "Why Programs Fail", and has a page on "Delta Debugging" which includes a Python sample. I'll see about porting that to Cobra at some point, but it may be a few weeks before that happens...

http://www.st.cs.uni-saarland.de/dd/