Validation of GCC optimizers through trace generation.
The impact of requirements changes on specifications and state machines.
Scopira: an open source C++ framework for biomedical data analysis applications.
Improved methods for extracting frequent itemsets from interim-support trees.