Individual-Based Models: Combining Testability and Generality