[bitc-dev] Automated test frameworks come to kernels

[Sandro Magi]

Not sure if it's the first of its kind, but it's certainly an interesting example of combined static analysis and automated test generation to measure scalability:

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors, http://pdos.csail.mit.edu/commuter/clements-commutativity-sosp13.pdf <http://pdos.csail.mit.edu/commuter/clements-commutativity-sosp13.pdf>

Sandro

smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev