Development and validation of computational models for efficient design of biological sequences