OSEK/VDX Portal Http://portal.osek-vdx.org Squish Coco Code Coverage Http://www.froglogic.com/squish/coco/ Trampoline – OpenSource RTOS project Http://trampoline.rts-software.org Understand: Source Code Analysis and Metrics Http://www.scitools.com/ David Binkley 1999 The Application of Program Slicing to Regression Testing Information and Software Technology 583–594 10.1016/S0950-5849(98)00085-8 Manfred Broy 2006 Challenges in automotive software engineering Proceedings of the 28th International Conference on Software Engineering 10.1145/1134285.1134292 Omar Chebaro Nikolai Kosmatov Alain Giorgetti Jacques Julliand 2012 Program slicing enhances a verification technique combining static and dynamic analysis Proceedings of the 27th Annual ACM Symposium on Applied Computing 1284–1291 10.1145/2245276.2231980 Jiang Chen Toshiaki Aoki 2011 Conformance Testing for OSEK/VDX Operating System Using Model Checking 18th Asia-Pacific Software Engineering Conference 10.1109/APSEC.2011.26 Edmund Clarke Daniel Kroening Flavio Lerda 2004 A Tool for Checking ANSI-C Programs 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 10.1007/978-3-540-24730-2_15 Edmund M. Clarke Orna Grumberg Doron Peled 1999 Model Checking MIT Press Matthew Dwyer Corina Pasareanu 1998 Filter-Based Model Checking of Partial Systems 6th ACM SIGSOFT International symposium on Foundations of Software Engineering 189–202 10.1145/288195.288307 Dimitra Giannakopoulou Corina S. Pasareanu Howard Barringer 2002 Assumption Generation for Software Component Verification 17th IEEE International Conference on Automated Software Engineering 3–12 10.1109/ASE.2002.1114984 A. Gupta K.L.McMillan Z. Fu 2008 Automated Assumption Generation for Compositional Verification Formal Methods in System Design 32 285–301 10.1007/978-3-540-73368-3_45 Rajiv Gupta Mary Jean Harrold Mary Lou Soffa 1992 An Approach to Regression Testing using Slicing Proceedings of the Conference on Software Maintenance 299–308 10.1109/ICSM.1992.242531 Nannan He Michael S. Hsiao 2007 Bounded Model Checking of Embedded Software in Wireless Cognitive Radio Systems 25th International Conference on Computer Design 19–24 10.1109/ICCD.2007.4601875 Gerard J. Holzmann 2003 The SPIN Model Checker: Primer and Reference Manual Addison-Wesley Publishing Company Natalia Ioustinova Natalia Sidorova 2002 Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems Proceedings of the Ninth Asia-Pacific Software Engineering Conference 10.1109/APSEC.2002.1182992 J"707Furgen M"707Fossinger 2010 Software in Automotive Systems IEEE Software 27 2 92–94 10.1109/MS.2010.55 Wonhong Nam P. Madhusudan Rajeev Alur 2008 Automatic symbolic compositional verification by learning assumptions Formal Methods in System Design 10.1007/s10703-008-0055-8 Pascal Raymond Nicolas Halbwachs, Fabienne Lagnier 1993 Synchronous Observers and the Verification of Reactive Systems Third International Conference on Algebraic Methodology and Software Technology, AMAST'93 Pavel Parizek Frantisek Plasil 2007 Partial Verification of Software Components: Heuristics for Environment Construction 33rd EUROMICRO Conference on Software Engineering and Advanced Applications 10.1109/EUROMICRO.2007.46 John Penix Willem Visser Seungjoon Park Corina Pasareanu Eric Engstrom Aaron Larson Nicholas Weininger 2005 Verifying Time Partitioning in the DEOS Scheduling Kernel Formal Methods in Systems Design Journal 26 2 103–135 10.1007/s10703-005-1490-4 O. Tkachuk M.B. Dwyer C.S. Pasareanu 2003 Automated Environment Generation for Software Model Checking 18th IEEE International Conference on Automated Software Engineering 116–129 10.1109/ASE.2003.1240300 M. Weiser 1984 Program Slicing IEEE Transactions on Software Engineering SE-10 4 352–357 10.1109/TSE.1984.5010248 Kenro Yatake Toshiaki Aoki 2010 Automatic Generation of Model Checking Scripts based on Environment Modeling 17th International SPIN Conference on Software Model Checking 10.1007/978-3-642-16164-3_5