Com respeito à automação de testes, analise as proposições a seguir.

1) O JUnit é um framework que facilita o desenvolvimento e execução de testes de unidade em código Java. O core deste framework está dividido em sete classes e interfaces: Assert, TestResult, Test, TestListener, TestCase, TestSuite e BaseTestRunner.

2) JUnit faz parte da família de ferramentas de testes xUnit, que inclui implementações do framework para SmallTalk, Python e outras linguagens.

3) São exemplos de frameworks de teste de unidades em Java: Arquillian, EtlUnit, HavaRunner e vários outros.

4) SQL e as linguagens procedurais de banco de dados não possuem frameworks de testes de unidades.

Estão corretas: