The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3

First Page		Document Content
Date: 2013-12-12 08:46:27 Real-time computing Worst-case execution time Symbolic execution KeY Program slicing Analysis of algorithms Model checking Control flow Abstract interpretation Theoretical computer science Programming language theory Computing		The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 219,55 KB Share Document on Facebook

	FACT: Fast Communication Trace Collection for Parallel Applications through Program Slicing Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng Tsinghua National Laboratory for Information Science and T DocID: 1uU9c - View Document
	PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science PROGRAM SLICING! PROGRAM ANALYSIS DocID: 1uqBC - View Document
	Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and DocID: 1qOyy - View Document
	Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research DocID: 1qnab - View Document
	Triage: Diagnosing Production Run Failures at the User’s Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign DocID: 1pZlh - View Document