Abran A. Software Metrics and Software Metrology. Hoboken (NJ): Wiley; 2012.
Abrial JR. The B Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press; 1996.
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.
Bansyia J, Davis C, Etzkorn L. An entropy based complexity measure for object oriented designs. Theory Pract Object Syst 1999;5 (2):1–9.
Black R. Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional. Indianapolis (IN): Wiley; 2007.
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.
Cadar C, Sen K. Symbolic execution for software testing. Commun ACM 2013;56 (2):82–90.
Csiszar I, Koerner J. Information Theory: Coding Theorems for Discrete Memoryless Systems. Cambridge: Cambridge University Press; 2011.
Culbertson R, Brown C, Cobb G. Rapid Testing. Upper Saddle River (NJ): Prentice Hall; 2002.
DeMillo RA, Lipton RJ, Sayward FG. Hints on test data selection: Help for the practicing programmer. IEEE Comput 1978;11 (4):34–41.
Kaner C, Falk J, Nguyen HQ. Testing Computer Software. 2nd ed. New York: John Wiley & Sons; 1999.
Kit E. Software Testing in the Real World: Improving the Process. Reading (MA): Addison-Wesley; 1995.
Kuhn DR. Fault classification and error detection capability of specification based testing. ACM Trans Softw Eng Methodol 1999;8 (4):411–424.
Laprie J-C. Dependability: a unifying concept for reliable, safe, secure computing. IFIP Congress 1992;1:585–593.
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.
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.
Linden FJ, Schmidt K, Rommes E. Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Berlin: Springer Verlag; 2007.
Linger RC, Mills HD, Witt BI. Structured Programming: Theory and Practice. Reading (MA): Addison-Wesley; 1979.
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.
Mathur AP. Foundations of Software Testing: Fundamental Algorithms and Techniques. Upper Saddle River (NJ): Pearson Education; 2002.
McCabe TJ. A complexity measure. IEEE Trans Softw Eng 1976;2 (4):308–320.
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.
Perry WE. Effective Methods for Software Testing. Indianapolis (IN): Wiley; 2002.
Pfleeger SL, Atlee JM. Software Engineering: Theory and Practice. Prentice Hall: Upper Saddle River (NJ); 2009.
Pohl K, Boeckle G, Linden FJ. Software Product Line Engineering: Foundations, Principles and Techniques. New York: Springer Verlag; 2005.
Rapps S, Weyuker EJ. Selecting test data using dataflow information. IEEE Trans Softw Eng 1985;11 (4):367–375.
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.
Somerville I. Software Engineering. 7th ed. Harlow: Pearson Education; 2004.
Spivey JM. The Z Notation: A Reference Manual. Englewood Cliffs (NJ): Prentice Hall; 1998.
Voas J, Miller K. Semantic metrics for software testability. J Syst Softw 1993;20 (3):207–216.
Weiss DM, Lai CTR. Software Product Line Engineering: A Family Based Software Development Process. Reading (MA): Addison-Wesley; 1999.
Whittaker JA. Exploratory Software Testing: Tips, Tricks, Tours and Techniques to guide Test Design. Upper Saddle River (NJ): Addison-Wesley/Pearson Education; 2010.