The current code automatically generates the file 2_deploy_contracts.js based on the name of the contract (*.sol file) to consider for test case generation. It works perfectly for contracts with a default constructor.
However, it does not work for contracts whose constructor has parameters (e.g., addresses). Those parameters should be added as additional parameters for the method deployer.deploy(...) in the generated 2_deploy_contracts.js file.