Automatic Generation of High-Coverage Tests for Complex Systems Programs(stanford.edu)

18 pointsby comatose_kid17 ปีที่แล้ว2 comments

Automatic Generation of High-Coverage Tests for Complex Systems Programs

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

2 comments

framiere17 ปีที่แล้ว

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.

mronge17 ปีที่แล้ว

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.