I just started reading the latest issue of Communications of the ACM (02/2013 Vol. 56 No. 2) and grazed through an article on symbolic execution for software testing (p. 82).
In the article two recently open sourced testing programs were mentioned that BRL-CAD folks may want to take a look at to see if there is any potentially useful stuff there: CREST: http://code.google.com/p/crest/ KLEE: http://klee.llvm.org/ Best, -Tom ------------------------------------------------------------------------------ Free Next-Gen Firewall Hardware Offer Buy your Sophos next-gen firewall before the end March 2013 and get the hardware for free! Learn more. http://p.sf.net/sfu/sophos-d2d-feb _______________________________________________ BRL-CAD Developer mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/brlcad-devel
