Advances in test generation for testing software and systems