Source code for the SECA symbolic execution engine

Source code accompanying the paper: Markus Klinik, Bernard van Gastel, Cynthia Kop, and Marko van Eekelen. Skylines for symbolic energy consumption analysis. In Proceedings of...与该论文配套的源代码：Markus Klinik、Bernard van Gastel、Cynthia Kop及Marko van Eekelen。《面向符号能耗分析的Skylines》，收录于……会议论文集。