According to an aspect of an embodiment of the present disclosure, a method may include selecting, based on a behavioral model of an event-driven software program, an execution target of the event-driven software program. The execution target may be selected from multiple execution targets of the event-driven software program and may include an event of the event-driven software program. Additionally, the behavioral model may be generated using passive learning that is based on behavior of the event-driven software program during symbolic execution of the event-driven software program. The method may further include symbolically executing the execution target based on the selection. The event-driven software program may transition from a first state to a second state in response to execution of the execution target. In addition, the method may include updating the behavioral model of the event-driven software program based on symbolically executing the execution target.