Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Verification of Flag Usage Patterns by Static Analysis Techniques

Journal Article
2014-01-0180
ISSN: 1946-4614, e-ISSN: 1946-4622
DOI: https://doi.org/10.4271/2014-01-0180
Published April 01, 2014 by SAE International in United States
Verification of Flag Usage Patterns by Static Analysis Techniques
Sector:
Citation: Zare, A., Datar, A., Kikuchi, M., Ichikawa, S. et al., "Verification of Flag Usage Patterns by Static Analysis Techniques," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 7(1):73-84, 2014, https://doi.org/10.4271/2014-01-0180.
Language: English

References

  1. Ostroff , Jonathan S. Formal methods for the specification and design of real-time safety critical systems Journal of Systems and Software 18 1 1992 33 60
  2. Knight , John C. Safety critical systems: challenges and directions Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on 547 550 IEEE 2002
  3. Baresel , André , Binkley David , Harman Mark , and Korel Bogdan Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach ACM SIGSOFT Software Engineering Notes 29 4 108 118 ACM 2004
  4. ISO 26262 standard Road vehicles - Functional safety - Part 6: Product development: software level ISO standard 26262-6 Nov. 2011
  5. Stevens , W. Richard UNIX network programming 1 Addison-Wesley Professional 2004
  6. Sagar P M Embedded Operating Systems For Real Time Applications M.Tech Credit Seminar Report IIT Bombay Nov. 2002
  7. Sen , Koushik Race directed random testing of concurrent programs ACM SIGPLAN Notices 43 6 11 21 ACM 2008
  8. Sen , Koushik Effective random testing of concurrent programs Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering 323 332 ACM 2007
  9. Feldthaus Asger , Midtgaard Jan , and Schwartzbach Michael I. Abstract Syntax Trees (Compilation 2012) http://cs.au.dk/∼mis/dOvs/slides/37a-abstractsyntaxtrees.pdf
  10. Khare , Shubhangi , Saraswat Sandeep , and Kumar Shrawan Static program analysis of large embedded code base: an experience Proceedings of the 4th India Software Engineering Conference 99 102 ACM 2011
  11. Beatty , Sean Sensible software testing Embedded Systems Programming 8 2000
  12. Khedker , Uday , Sanyal Amitabha , and Sathe Bageshri Data flow analysis: theory and practice CRC Press 2009
  13. Allen , Frances E. Control flow analysis ACM Sigplan Notices 5 7 1 19 ACM 1970
  14. Kikuchi Mitsuhiko , Ichikawa Satoshi , Tsunekado Shigenori , Hasegawa Miwako Flag access danger places detection device Japanese Patent Application 2013-008354 2013
  15. Harman , Mark , Hu Lin , Hierons Robert M. , Baresel André , and Sthamer Harmen Improving Evolutionary Testing By Flag Removal GECCO 1359 1366 2002
  16. Baresel , André , and Sthamer Harmen Evolutionary testing of flag conditions Genetic and Evolutionary Computation -- GECCO 2003 2442 2454 Springer Berlin Heidelberg 2003
  17. Wappler , Stefan , Baresel Andre , and Wegener Joachim Improving evolutionary testing in the presence of function-assigned flags Testing: Academic and Industrial Conference Practice and Research Techniques-MUTATION, 2007. TAICPART-MUTATION 2007 23 34 IEEE 2007

Cited By