Static Backward Program Slicing for Safety-Critical Systems
作者： Husni Khanfar , Björn Lisper , Abu Naser Masud
DOI: 10.1007/978-3-319-19584-1_4
关键词:
摘要: Static program slicing is a technique to detect the parts (i.e. “slice”) of given possibly affecting property. The interest for analysing safety-critical software, since it can identify that may affect various safety properties. Verification efforts then be directed towards those parts, leading more efficient verification process.
springer.com
sci-hub.st 参考文章(30)
Mark David Weiser, Program slices: formal, psychological, and practical investigations of an automatic program abstraction method PhD thesis, University of Michigan. ,(1979)
Johan Kraft, Enabling Timing Analysis of Complex Embedded Software Systems Mälardalen University,. ,(2010)
James Robert Lyle, Evaluating variations on program slicing for debugging (data-flow, ada) University of Maryland at College Park. ,(1984)
Frank Tip, A survey of program slicing techniques. Journal of Programming Languages. ,vol. 3, ,(1995)
Thomas Ball, Susan Horwitz, Slicing Programs with Arbitrary Control-flow AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging. ,vol. 749, pp. 206- 222 ,(1993) , 10.1007/BFB0019410
David Binkley, Mark Harman, A Survey of Empirical Results on Program Slicing Advances in Computers. ,vol. 62, pp. 105- 178 ,(2004) , 10.1016/S0065-2458(03)62003-6
Flemming Nielson, Chris Hankin, Hanne R. Nielson, Principles of program analysis ,(1999)
Isabella Mastroeni, Đurica Nikolić, Abstract program slicing: from theory towards an implementation international conference on formal engineering methods. pp. 452- 467 ,(2010) , 10.1007/978-3-642-16901-4_30
Lihua Xu, Hadar Ziv, Debra Richardson, Thomas A. Alspaugh, An architectural pattern for non-functional dependability requirements ACM SIGSOFT Software Engineering Notes. ,vol. 30, pp. 1- 6 ,(2005) , 10.1145/1082983.1083219
Saurabh Sinha, Mary Jean Harrold, Gregg Rothermel, System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow international conference on software engineering. pp. 432- 441 ,(1999) , 10.1145/302405.302675