Y. Cheon and G. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Object-Oriented Programming, pp.1789-1901, 2002.
DOI : 10.1007/3-540-47993-7_10

G. J. Kiczales, J. O. Lamping, C. V. Lopes, J. J. Hugunin, E. A. Hilsdale et al., Aspect-oriented programming, US Patent, vol.6467, p.86, 2002.

R. Mendes, I. Rocha, E. Ferreira, and M. Rocha, A Comparison of Algorithms for the Optimization of Fermentation Processes, 2006 IEEE International Conference on Evolutionary Computation, pp.7371-7378, 2006.
DOI : 10.1109/CEC.2006.1688555

E. C. Patil, M. Ferreira, and . Rocha, Optflux: an open-source software platform for in silico metabolic engineering, BMC Systems Biology, vol.4, issue.45, 2010.

M. Rocha, P. Maia, R. Mendes, E. C. Ferreira, K. Patil et al., Natural computation meta-heuristics for the in silico optimization of microbial strains, BMC Bioinformatics, vol.9, issue.1, p.9, 2008.
DOI : 10.1186/1471-2105-9-499

P. Sousa, M. Rocha, M. Rio, and P. Cortez, Efficient OSPF Weight Allocation for Intra-domain QoS Optimization, Autonomic Principles of IP Operations and Management, pp.37-48, 2006.
DOI : 10.1007/11908852_4