Automatic Generation of High-Coverage Tests for Complex Systems Programs

Posted by comatose_kid on Saturday March 07, 2009 @01:36AM
from the stanford.edu dept.

http://www.stanford.edu/~engler/klee-osdi-2008.pdf

( 2 comments | 18 points | on HN )

Re:Automatic Generation of High-Coverage Tests for Complex S... by framiere on Saturday March 07, 2009 @08:01AM (#506462)

It reminds me of http://www.agitar.com for the java platform.

It is a very useful approach to prevent regressions while working on legacy code.

Alberto Savoya (who is behind agitar) has a nice definition of legacy code : code that has no unit-test.

[ Parent | on HN ]

Re:Automatic Generation of High-Coverage Tests for Complex S... by mronge on Saturday March 07, 2009 @10:57AM (#506518)

Unfortunately, Agitar effectively dissolved last year. The company was bought for peanuts, and there is not much left now. Nearly all the employees left if I remember correctly.

[ Parent | on HN ]