What methodologies have you used to develop test cases?

I have used following 4 types of Methodologies:

1. Boundary value analysis

2. Equivalence partitioning

3. Error guessing

4. Cause effect graphing