
O projeto PAJÉ envolve o desenvolvimento de ferramentas para exploração de programa Java a partir de técnicas de análise de programas. Programas Java são analisados para apoiar atividades de engenharia de software como teste estrutural de programas e depuração de software. As ferramentas utilizam técnicas de análise de programas (técnicas de compilação e análise de fluxo de dados) para apoiar o teste e depuração de programas.
Links:
[1] http://napsol.icmc.usp.br/pt-br/node/350
[2] https://github.com/saeg/