{"file_date_updated":"2018-03-14T14:08:32Z","page":"17-20","type":"conference","date_created":"2017-10-17T12:42:57Z","title":"Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution","publication":"Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)","date_updated":"2022-01-06T07:03:05Z","author":[{"first_name":"Markus","full_name":"von Detten, Markus","last_name":"von Detten"}],"has_accepted_license":"1","status":"public","year":"2011","_id":"644","ddc":["040"],"doi":"10.1145/2024569.2024573","abstract":[{"text":"In reverse engineering, dynamic pattern detection is accomplished by collecting execution traces and comparing them to expected behavioral patterns. The traces are collected by manually executing the program in question and therefore represent only part of all relevant program behavior. This can lead to false conclusions about the detected patterns. In this paper, we propose to generate all relevant program traces by using symbolic execution. In order to reduce the created trace data, we allow to limit the trace collection to a user-selectable subset of the statically detected pattern candidates.","lang":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file":[{"creator":"florida","file_name":"644-paste09s-vonDetten_01.pdf","file_size":121611,"date_updated":"2018-03-14T14:08:32Z","access_level":"closed","file_id":"1229","date_created":"2018-03-14T14:08:32Z","success":1,"relation":"main_file","content_type":"application/pdf"}],"user_id":"15504","citation":{"apa":"von Detten, M. (2011). Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i> (pp. 17–20). <a href=\"https://doi.org/10.1145/2024569.2024573\">https://doi.org/10.1145/2024569.2024573</a>","ieee":"M. von Detten, “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution,” in <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>, 2011, pp. 17–20.","mla":"von Detten, Markus. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.” <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>, 2011, pp. 17–20, doi:<a href=\"https://doi.org/10.1145/2024569.2024573\">10.1145/2024569.2024573</a>.","chicago":"Detten, Markus von. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.” In <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>, 17–20, 2011. <a href=\"https://doi.org/10.1145/2024569.2024573\">https://doi.org/10.1145/2024569.2024573</a>.","ama":"von Detten M. Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In: <i>Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)</i>. ; 2011:17-20. doi:<a href=\"https://doi.org/10.1145/2024569.2024573\">10.1145/2024569.2024573</a>","bibtex":"@inproceedings{von Detten_2011, title={Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution}, DOI={<a href=\"https://doi.org/10.1145/2024569.2024573\">10.1145/2024569.2024573</a>}, booktitle={Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)}, author={von Detten, Markus}, year={2011}, pages={17–20} }","short":"M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20."}}