References

Alshayeb, M. and W. Li, 2003. An empirical validation of object-oriented metrics in two different iterative software processes. IEEE Trans. Software Eng., 29: 1043-1049.
CrossRef  |  

Ando, T., H. Yatsu, K. Hisazumi, A. Fukuda and M. Matsumoto et al., 2015. Reference model of specifications toward independent verification and validation. Proceedings of the IEEE Region 10th Conference on TENCON 2015-2015, November 1-4, 2015, IEEE, Macao, China, ISBN:978-1-4799-8639-2, pp: 1-3.

Anonymous, 2002. Department of Health and Human Services. Food and Drug Administration. Center for Devices and Radiological Health, USA. https://www.fda.gov/OHRMS/DOCKETS/98fr/02n-0276-npr0001.pdf.

Bagalini, E. and M. Violante, 2016. Development of an automated test system for ECU software validation: An industrial experience. Proceedings of the 15th Biennial Baltic Conference on Electronics (BEC’16), October 3-5, 2016, IEEE, Tallinn, Estonia, ISBN:978-1-5090-1393-7, pp: 103-106.

Bajeh, A.O., S. Basri, L.T. Jung and M.A. Almomani, 2014. Empirical validation of object-oriented inheritance hierarchy modifiability metrics. Proceedings of the International Conference on Information Technology and Multimedia (ICIMU’14), November 18-20, 2014, IEEE, Putrajaya, Malaysia, ISBN:978-1-4799-5424-7, pp: 189-194.

Balci, O., 1998. Verification, validation and accreditation. Proceedings of the 30th IEEE Conference on Winter Simulation (WSC'98), December 13-16, 1998, IEEE, Washington, USA., pp: 41-44.

Bell, D.G. and G.P. Brat, 2008. Automated software verification and validation: An emerging approach for ground operations. Proceedings of the IEEE Conference on Aerospace, March 1-8, 2008, IEEE, Big Sky, Montana, USA., ISBN:978-1-4244-1487-1, pp: 1-8.

Boehm, B.W., 1976. Guidelines for verifying and validating software requirements and design specifications. Eur. IFIP., 79: 711-719.
Direct Link  |  

Boehm, B.W., 1984. Verifying and validating software requirements and design specifications. IEEE. Software, 1: 75-88.
CrossRef  |  Direct Link  |  

Briand, L., K.E. Emam and S. Morasca, 1995. Theoretical and empirical validation of software product measures. Intl. Software Eng. Res. Netw., 1: 1-23.
Direct Link  |  

Brooks, F.P., 1986. No silver bullet-essence and accidents of software engineering. Proceedings of the IFIP Congress on Information Processing 86, September 1-5, 1986, Elsevier Science Publishers (BV), Dublin, Republic of Ireland, pp: 1069-1076.

Canfora, G., F. Garcia, M. Piattini, F. Ruiz and C.A. Visaggio, 2005. A family of experiments to validate metrics for software process models. J. Syst. Software, 77: 113-129.
CrossRef  |  

Cruickshank, K.J., J.B. Michael and M.T. Shing, 2009. A validation metrics framework for safety-critical software-intensive systems. Proceedings of the IEEE International Conference on System of Systems Engineering (SoSE’09), May 30-June 3, 2009, IEEE, Albuquerque, New Mexico, USA., ISBN:978-1-4244-4766-4, pp: 1-8.

Csertan, G., G. Huszerl, I. Majzik, Z. Pap and A. Pataricza et al., 2002. VIATRA-visual automated transformations for formal verification and validation of UML models. Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE’02), September 23-27, 2002, IEEE, Edinburgh, England, UK., pp: 267-270.

Dolado, J.J., 2000. A validation of the component-based method for software size estimation. IEEE. Trans. Software Eng., 26: 1006-1021.
CrossRef  |  Direct Link  |  

Fenz, S. and A. Ekelhart, 2011. Verification, validation and evaluation in information security risk management. IEEE. Secur. Privacy, 9: 58-65.
CrossRef  |  Direct Link  |  

Goulao, M. and F. Abreu, 2005. Formalizing metrics for COTS. Master Thesis, Department of Informatics, Faculty of Sciences and Technology, New University of Lisbon, Lisbon, Portugal.

Jamil, B., J. Ferzund, A., Batool and S. Ghafoor, 2010. Empirical validation of relational database metrics for effort estimation. Proceedings of the 6th International Conference on Networked Computing (INC’10), May 11-13, 2010, IEEE, Gyeongju, South Korea, ISBN:978-1-4244-6986-4, pp: 1-5.

Johanning, H., J. Lee, C. Hemming and L. Christensen, 2014. Checklist for computer software validation. Pharm. Technol., 38: 56-57.
Direct Link  |  

Kaivola, R., R. Ghughal, N. Narasimhan, A. Telfer and J. Whittemore et al., 2009. Replacing Testing with Formal Verification in Intel^{\scriptsize\circledR} CoreTM i7 Processor Execution Engine Validation. In: Computer Aided Verification, Bouajjani, A. and O. Maler (Eds.). Springer, Berlin, Germany, ISBN:978-3-642-02657-7, pp: 414-429.

Khan, A.I., M.M. Alam and U.A. Khan, 2013. Validation of component based software development model using formal B-method. Intl. J. Comput. Appl., 67: 24-35.
CrossRef  |  Direct Link  |  

Koopman, P., 2015. Verification, validation & certification: Distributed embedded systems. Master Thesis, Carnegie Mellon University, Pittsburgh, Pennsylvania.

Li, H., 2016. Validation metrics analysis of community detection algorithms. Proceedings of the 2nd IEEE International Conference on Computer and Communications (ICCC’16), October 14-17, 2016, IEEE, Chengdu, China, ISBN:978-1-4673-9027-9, pp: 2521-2525.

Liu, Y., W. Chen, P. Arendt and H.Z. Huang, 2011. Toward a better understanding of model validation metrics. J. Mech. Des., 133: 1-13.
CrossRef  |  Direct Link  |  

Mair, C. and M. Shepperd, 2011. Human judgement and software metrics: vision for the future. Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics (WETSoM'11), May 24, 2011, ACM, Waikiki, Honolulu, Hawaii, ISBN:978-1-4503-0593-8, pp: 81-84.

Marculescu, B., 2010. Implementing a software verification and validation management framework in the space industry. Master Thesis, Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden.

Michael, J.B., M.T. Shing, K.J. Cruickshank and P.J. Redmond, 2010. Hazard analysis and validation metrics framework for system of systems software safety. IEEE. Syst. J., 4: 186-197.
CrossRef  |  Direct Link  |  

Oberkampf, W.L. and M.F. Barone, 2006. Measures of agreement between computation and experiment: Validation metrics. J. Comput. Phys., 217: 5-36.
CrossRef  |  Direct Link  |  

Pohl, K. and C. Rupp, 2015. Requirements Engineering Fundamentals. 2nd Edn., Rocky Nook, Santa Barbara, California,.

Ramirez, E.H., R. Brena, D. Magatti and F. Stella, 2010. Probabilistic metrics for soft-clustering and topic model validation. Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT’10) Vol. 1, August 31-September 3, 2010, IEEE, Toronto, Ontario, Canada, ISBN:978-1-4244-8482-9, pp: 406-412.

Schneidewind, N.F., 1994. Validating metrics for ensuring space shuttle flight software quality. Comput., 27: 50-57.
CrossRef  |  Direct Link  |  

Serban, C., A. Vescan and H.F. Pop, 2010. A conceptual framework for component-based system metrics definition. Proceedings of the 9th International Conference on Roedunet (RoEduNet’10), June 24-26, 2010, IEEE, Sibiu, Romania, ISBN:978-1-4244-7335-9, pp: 73-78.

Skroch, O., 2007. Validation of component-based software with a customer centric domain level approach. Proceedings of the 14th Annual IEEE International Conference on Engineering of Computer-Based Systems (ECBS'07), March 26-29, 2007, IEEE, Tucson, Arizona, USA., pp: 459-466.

Sridhar, M. and N.S. Gill, 2015. Formal conceptual framework for structure of context of component-based system for designing robust software systems and metrics. Intl. J. Comput. Appl., 112: 30-37.
Direct Link  |  

Sridhar, M. and N.S. Gill, 2015. Imperfection of domain knowledge and its formalization in context of design of robust software systems. J. Software Eng. Appl., 8: 489-498.
CrossRef  |  

Steven, R.R., 2001. Software Verification and Validation for Practitioners and Managers. 2nd Edn., Artech House, Norwood, USA., ISBN:9781580532969, Pages: 387.

Subramani, R., R. Penneru, G. Selvaraj, B. Radhakrishnan and K. Puttaiah, 2014. Coverage metrics for device level validation of SATA and SAS devices: An approach. Proceedings of the 5th International Conference on Intelligent Systems, Modelling and Simulation (ISMS’14), January 27-29, 2014, IEEE, Langkawi, Malaysia, ISBN:978-1-4799-3858-2, pp: 163-168.

Szabo, C. and Y.M. Teo, 2012. An integrated approach for the validation of emergence in component-based simulation models. Proceedings of the Conference on Winter Simulation (WSC'12), December 9-12, 2012, ACM, Berlin, Germany, pp: 242-242.

Tomar, P. and N.S. Gill, 2010. Verification and validation of components with new x component-based model. Proceedings of the 2nd International Conference on Software Technology and Engineering (ICSTE’10) Vol. 2, October 3-5, 2010, IEEE, San Juan, Puerto Rico, USA., ISBN:978-1-4244-8667-0, pp: V362-V365.

Tripathi, P., M. Kumar and N. Shrivastava, 2008. Theoretical validation of quality metrics. Proceedings of the 2008 International Conference on Software Engineering Research and Practice (SERP’08), July 14-17, 2008, Monte Carlo Resort, Las Vegas, Nevada, USA., pp: 1-7.

Usai, F., K. O'Neil and A.J. Newman, 2017. Design and empirical validation of effectiveness of LANGA an online game-based platform for second language learning. IEEE. Trans. Learn. Technol., 99: 1-1.
CrossRef  |  Direct Link  |  

Veerappa, V. and R. Harrison, 2013. An empirical validation of coupling metrics using automated refactoring. Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, October 10-11, 2013, IEEE, Baltimore, Maryland, USA., ISBN:978-0-7695-5056-5, pp: 271-274.

Venkitachalam, H., J. Richenhagen, A. Schlosser and T. Tasky, 2015. Metrics for verification and validation of architecture in powertrain software development. Proceedings of the 1st International Workshop on Automotive Software Architecture (WASA’15), May 4-8, 2015, IEEE, Montreal, Canada, ISBN:978-1-4503-3444-0, pp: 27-33.

Woodcock, J., P.G. Larsen, J. Bicarregui and J. Fitzgerald, 2009. Formal methods: Practice and experience. ACM. Comput. Surv., 41: 1-36.
CrossRef  |  Direct Link  |  

Xargay, E., V. Dobrokhodov, I. Kitsios, I. Kaminer and K.D. Jones et al., 2009. Flight validation of a metrics driven L 1 adaptive control in the presence of general unmodeled dynamics. Proceedings of the IEEE International Conference on Control and Automation (ICCA’09), December 9-11, 2009, IEEE, Christchurch, New Zealand, ISBN:978-1-4244-4706-0, pp: 2243-2248.

Yan, S., Y. Zhao and P. Chen, 2015. Automated test platform for FPGA software validation. Proceedings of the International Conference on Semiconductor Technology (CSTIC’15), March 15-16, 2015, IEEE, Shanghai, China, ISBN:978-1-4799-7242-5, pp: 1-3.

Zhixiong, J., Q. Leqiu and P. Xin, 2007. A formal framework for description of semantic web services. Proceedings of the 7th IEEE International Conference on Computer and Information Technology (CIT’07), October 16-19, 2007, IEEE, Aizu-Wakamatsu, Fukushima, Japan, ISBN:978-0-7695-2983-7, pp: 1065-1070.