1. A method comprises: generating a plurality of application system state transitions from inputted requirements and parameters; for a current implementation of generating application code, entering a loop that includes: generating a current intermediate result based on a previous implementation of the generating the application code and in accordance with current application code development factors that includes at least one of: one or more of the plurality of application system state transitions, one or more of the parameters, and application of one or more implementation tools; generating at least one test case based on the one or more of the plurality of application system state transitions; testing the current intermediate result in accordance with the at least one test case; when the testing is unfavorable: modifying one or more of: the one or more of the plurality of application system state transitions, the one or more of the parameters, and the one or more implementation tools to produce modified current application code development factors; and repeating the loop using the modified current application code development factors; and when the testing is favorable, exiting the loop.