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,
pp. 583–594,
doi:10.1016/S0950-5849(98)00085-8.
Manfred Broy (2006):
Challenges in automotive software engineering.
In: Proceedings of the 28th International Conference on Software Engineering,
doi:10.1145/1134285.1134292.
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.
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.
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.
Edmund M. Clarke, Orna Grumberg & Doron Peled (1999):
Model Checking.
MIT Press.
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.
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.
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.
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.
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.
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.
In: Proceedings of the Ninth Asia-Pacific Software Engineering Conference,
doi:10.1109/APSEC.2002.1182992.
J"707Furgen M"707Fossinger (2010):
Software in Automotive Systems.
IEEE Software 27(2),
pp. 92–94,
doi:10.1109/MS.2010.55.
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.
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.
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.
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.
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.
M. Weiser (1984):
Program Slicing.
IEEE Transactions on Software Engineering SE-10(4),
pp. 352–357,
doi:10.1109/TSE.1984.5010248.
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.