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

Comments and questions to:
For website issues: