1. COERCE Software Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation without COERCE

2. talks Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation without COERCE COERCE Software

3. talks Existing Software KEY: Document Generated Software Simulationist Domain Expert User modifies Source Code Simulation Adaptation without COERCE COERCE Software

4. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code modifies Compiler Simulation Adaptation without COERCE talks uses COERCE Software

5. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code modifies Compiler reads Program Instance writes Simulation Adaptation without COERCE talks uses COERCE Software

6. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Compiler reads Program Instance writes runs, observes Simulation Adaptation without COERCE talks modifies uses COERCE Software

7. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Compiler reads Program Instance writes runs, observes Simulation Adaptation without COERCE talks modifies uses... and repeat until the program instance fulfills the requirements. COERCE Software

8. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE COERCE Software

9. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE talks COERCE Software

10. KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries uses talks Existing Software uses COERCE Software

11. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries uses Flex ML Libraries SAX, DOM Libraries writes Flex ML Document calls talks uses COERCE Software

12. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries uses Flex ML Libraries SAX, DOM Libraries writes Flex ML Document calls talks uses Do we manually modify or automatically search? COERCE Software

13. Existing Software KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries uses Flex ML Libraries SAX, DOM Libraries writes Flex ML Document calls talks uses modifies COERCE Software

14. Optimization GUI KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries SAX, DOM Libraries Flex ML Document uses talks useswritescalls Existing Software uses modifies COERCE Software

15. KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries SAX, DOM Libraries Flex ML Document calls talks uses writescalls Existing Software uses modifies COERCE Software Optimization GUI Optimization Libraries

16. KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries SAX, DOM Libraries reads Flex ML Document calls talks uses calls uses writescalls Existing Software uses modifies Optimization GUI COERCE Software Optimization Libraries

17. KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Constraint Checker writescalls SAX, DOM Libraries Existing Software uses modifies Optimization GUI COERCE Software Optimization Libraries reads

18. KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Constraint Checker Existing Software writescalls SAX, DOM Libraries calls uses modifies Optimization GUI COERCE Software Optimization Libraries reads

19. KEY: Document Generated Software Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writescalls SAX, DOM Libraries calls Existing Software uses modifies Optimization GUI COERCE Software Optimization Libraries reads

20. KEY: Document Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Instance Generator Constraint Checker BeautyJ Libraries calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses modifies Optimization GUI COERCE Software Optimization Libraries reads

21. KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses modifies Optimization GUI COERCE Software Optimization Libraries reads

22. KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses modifies Optimization GUI COERCE Software Optimization Libraries reads

23. modifies KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls talks uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses Optimization GUI COERCE Software Optimization Libraries reads observes

24. modifies talks KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses Optimization GUI COERCE Software Optimization Libraries reads observes

25. modifies talks KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses Optimization GUI COERCE Software Optimization Libraries reads observes

26. modifies talks KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses Do we manually modify or automatically search? Optimization GUI COERCE Software Optimization Libraries reads observes

27. talks KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses modifies Optimization GUI COERCE Software Optimization Libraries reads observes

28. modifies talks KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses Optimization GUI COERCE Software Optimization Libraries reads observes

29. modifies talks KEY: Document Program Instance Simulationist Domain Expert User Source Code Simulation Adaptation with COERCE Flex ML Editor Swing GUI Libraries Flex ML Libraries Flex ML Document calls uses calls uses Instance Generator Constraint Checker BeautyJ Libraries writes calls SAX, DOM Libraries calls Existing Software Generated Software writescalls uses... and repeat until the program instance fulfills the requirements. Optimization GUI COERCE Software Optimization Libraries reads observes