Bibliography

  1. Abran A. Software Metrics and Software Metrology. Hoboken (NJ): Wiley; 2012.
  2. Abrial JR. The B Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press; 1996.
  3. Avizienis A, Laprie JC, Randell B, Landwehr C. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 2004;1 (1):11–33.
  4. Bansyia J, Davis C, Etzkorn L. An entropy based complexity measure for object oriented designs. Theory Pract Object Syst 1999;5 (2):1–9.
  5. Black R. Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional. Indianapolis (IN): Wiley; 2007.
  6. Boehm BW. Software Engineering Economics. Englewood Cliffs (NJ): Prentice-Hall; 1981.
  7. Boehm BW, Abts C, Brown AW, Chulani S, Clark BK, Horowitz E, Madachy R, Reifer DJ, Steece B. Software Cost Estimation with COCOMO II. Upper Saddle River (NJ): Prentice Hall; 2000.
  8. Cadar C, Sen K. Symbolic execution for software testing. Commun ACM 2013;56 (2):82–90.
  9. Csiszar I, Koerner J. Information Theory: Coding Theorems for Discrete Memoryless Systems. Cambridge: Cambridge University Press; 2011.
  10. Culbertson R, Brown C, Cobb G. Rapid Testing. Upper Saddle River (NJ): Prentice Hall; 2002.
  11. DeMillo RA, Lipton RJ, Sayward FG. Hints on test data selection: Help for the practicing programmer. IEEE Comput 1978;11 (4):34–41.
  12. Ebert C, Dumke R. Software Measurement: Establish, Extract, Evaluate, Execute. Berlin: Springer Verlag; 2007.
  13. Engstrom E, Runeson P. Software product line testing: a systematic mapping study. Inf Softw Technol 2011;52 (1):2–13.
  14. Etzkorn L, Gholston S. A semantic entropy metric. J Softw Maint Evol Res Pract 2002;14:293–310.
  15. Fenton NE, Pfleeger SL. Software Metrics: A Rigorous and Practical Approach. London: PWS Publishing Co.; 1997.
  16. Frankl PG, Weyuker EJ. An applicable family of dataflow testing criteria. IEEE Trans Softw Eng 1988;14 (10):1483–1498.
  17. Gall CS, Lukin S, Etzkorn L, Gholston S, Farrington P, Utley D, Fortune J, Virani S. Semantic software metrics computed from natural language design specifications. IET Softw 2008;2 (1):17–26.
  18. Goodenough JB, Gerhart SL. Towards a theory of test data selection. IEEE Trans Softw Eng 1975;SE-1:26–37.
  19. Habrias H, Frappier M. Software Specification Methods. Hoboken (NJ): John Wiley & Sons; 2013. ISTE series.
  20. Halstead MH. Elements of Software Science. Amsterdam: North-Holland; 1977.
  21. Hoare CAR. An axiomatic basis for computer programming. Commun ACM 1969;12 (10):576–585.
  22. Jackson D. Software Abstractions: Logic, Language and Analysis. Cambridge (MA): MIT Press; 2011.
  23. Janicki R, Khedhri R. On a formal semantics of tabular expressions. Sci Comput Program 2001;39 (2, 3):189–213.
  24. Janicki R, Parnas DL, Zucker JI. Tabular representations in relational documents. In: Brink C, Kahl W, Schmidt G, editors. Relational Methods in Computer Science. New York: Springer Verlag; 1997. p 184–196.
  25. Jet Propulsion Laboratory. NASA Study on Flight Software Complexity. 2009. Available at http://www.nasa.gov/pdf/418878main_FSWC_Final_Report.pdf. Accessed November 26, 2014.
  26. Kaner C, Falk J, Nguyen HQ. Testing Computer Software. 2nd ed. New York: John Wiley & Sons; 1999.
  27. Kit E. Software Testing in the Real World: Improving the Process. Reading (MA): Addison-Wesley; 1995.
  28. Kuhn DR. Fault classification and error detection capability of specification based testing. ACM Trans Softw Eng Methodol 1999;8 (4):411–424.
  29. Laprie J-C. Dependability: a unifying concept for reliable, safe, secure computing. IFIP Congress 1992;1:585–593.
  30. Laprie J-C. Dependability: its attributes, impairments, and means. In: Randell B, Laprie J-C, Kopetz H, Littlewood B, editors. Predictably Dependable Computing Systems. New York: Springer; 1995. p 3–24.
  31. Larson E, Austin T. High coverage detection of input-related security faults. Proceedings of the 12th USENIX Security Symposium; August 4–8, 2003, Washington, DC.
  32. Linden FJ, Schmidt K, Rommes E. Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Berlin: Springer Verlag; 2007.
  33. Linger RC, Mills HD, Witt BI. Structured Programming: Theory and Practice. Reading (MA): Addison-Wesley; 1979.
  34. Machado I d C, McGregor JD, Cavalcanti YC, de Almeida ES. On strategies for testing software product lines: a systematic literature review. Inf Softw Technol 2014;56:1183–1199.
  35. Mathur AP. Foundations of Software Testing: Fundamental Algorithms and Techniques. Upper Saddle River (NJ): Pearson Education; 2002.
  36. McCabe TJ. A complexity measure. IEEE Trans Softw Eng 1976;2 (4):308–320.
  37. McGregor JD. Testing a software product line. Technical report, CMU/SEI-2001-TR-022. Pittsburgh (PA): Carnegie Mellon University; 2001.
  38. Mili A, Desharnais J, Mili F. Computer Program Construction. New York: Oxford University Press; 1994.
  39. Mili H, Mili A, Yacoub S, Addy E. Reuse Based Software Engineering: Techniques, Organization and Controls. New York: John Wiley & Sons; 2002.
  40. Mili A, Frias MF, Jaoua A. On faults and faulty programs. Proceedings, RAMICS 2014; April 28–May 1, 2014; Marienstatt, Germany. p 191–207.
  41. Mills HD. Mathematical Foundations for Structured Programming. Gaithersburg, MD: IBM Federal Systems Division; 1972.
  42. Mills HD. The new math of computer programming. Commun ACM 1975;18 (1):43–48.
  43. Mills HD, Basili VR, Gannon JD, Hamlet RG. Principles of Computer Programming: A Mathematical Approach. New York: McGraw Hill; 1986.
  44. Morell L, Murill B. Semantic metrics through error flow analysis. J Syst Softw 1993;20 (3):207–216.
  45. Morell L, Voas JM. A framework for defining semantic metrics. J Syst Softw 1993;20 (3):245–251.
  46. Musa J. Software Reliability Engineering: More Reliable Software, Faster Development and Testing. New York: McGraw Hill; 1999.
  47. Naik K, Tripathy P. Software Testing and Quality Assurance: Theory and Practice. Hoboken (NJ): John Wiley & Sons; 2008.
  48. Nicol DM, Sanders WH, Trivedi K. Model based evaluation: from dependability to security. IEEE Trans Dependable Secure Comput 2004;1 (1):48–65.
  49. O’Connor PDT. Practical Reliability Engineering. 4th ed. New York: Wiley; 2002.
  50. Offutt AJ, Hayes JH. A semantic model of program faults. Proceedings of 1996 International Symposium on Software Testing and Analysis; January 1996; San Diego, CA. ACM Press. p 195–200.
  51. Perry WE. Effective Methods for Software Testing. Indianapolis (IN): Wiley; 2002.
  52. Pfleeger SL, Atlee JM. Software Engineering: Theory and Practice. Prentice Hall: Upper Saddle River (NJ); 2009.
  53. Pohl K, Boeckle G, Linden FJ. Software Product Line Engineering: Foundations, Principles and Techniques. New York: Springer Verlag; 2005.
  54. Rapps S, Weyuker EJ. Selecting test data using dataflow information. IEEE Trans Softw Eng 1985;11 (4):367–375.
  55. Sen K, Marinov D, Agha G. CUTE: a concolic unit testing engine for C. Proceeding, Fifth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering; 2005; Lisbon, Portugal. p 263–272.
  56. Somerville I. Software Engineering. 7th ed. Harlow: Pearson Education; 2004.
  57. Spivey JM. The Z Notation: A Reference Manual. Englewood Cliffs (NJ): Prentice Hall; 1998.
  58. Voas J, Miller K. Semantic metrics for software testability. J Syst Softw 1993;20 (3):207–216.
  59. Weiss DM, Lai CTR. Software Product Line Engineering: A Family Based Software Development Process. Reading (MA): Addison-Wesley; 1999.
  60. Whittaker JA. Exploratory Software Testing: Tips, Tricks, Tours and Techniques to guide Test Design. Upper Saddle River (NJ): Addison-Wesley/Pearson Education; 2010.
..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.118.139.224