{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:16:50Z","timestamp":1649067410639},"reference-count":19,"publisher":"International Academy Publishing (IAP)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.9.2191-2196","type":"journal-article","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:30:38Z","timestamp":1378985438000},"source":"Crossref","is-referenced-by-count":0,"title":["A Generic Framework for Automated Quality Assurance of Software Models Supporting Languages of Multiple Paradigms"],"prefix":"10.17706","volume":"8","author":[{"given":"Darryl","family":"Owens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2013,9,12]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/0471722324"},{"key":"ref2","first-page":"2533","article-title":"How to improve the quality of software testing.","volume-title":"International Conference on Systems and Informatics","author":"Yin","year":"2012","unstructured":"[2] R.Yin and X. M. Ding, How to improve the quality of software testing. International Conference on Systems and Informatics, 2012, pp. 2533-2536."},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1035438"},{"key":"ref4","first-page":"771","article-title":"A system approach for software quality assurance","volume-title":"Proc IEEE National Aerospace and Electronics Conference","author":"Wesenberg","year":"1991","unstructured":"[4] D. P. Wesenberg and K. Vansaun, \"A system approach for software quality assurance,\" in Proc. IEEE National Aerospace and Electronics Conference, 1991, pp. 771-776."},{"key":"ref5","volume-title":"Cloud security A comprehensive guide to secure cloud computing","author":"Krutz","year":"2010","unstructured":"[5] R. L. Krutz, R. D. Vines, and G. Brunette, \"Cloud security: A comprehensive guide to secure cloud computing,\" Hoboken: Wiley, 2010."},{"issue":"no. 7","key":"ref6","article-title":"Optimized software quality assurance model for testing scientific software","volume":"36","author":"Maheswari","year":"2011","unstructured":"[7] G.U. Maheswari and V. V. R. Prasad, \"Optimized software quality assurance model for testing scientific software,\" International Journal of Computer Applications, vol. 36, no. 7, 2011.","journal-title":"Int J Comput Appl","ISSN":"http:\/\/id.crossref.org\/issn\/1206-212X","issn-type":"print"},{"key":"ref7","first-page":"97","article-title":"One technique is not enough: a comparison of vulnerability discovery techniques","volume-title":"International Symposium on Empirical Software Engineering and Measurement","author":"Austin","year":"2011","unstructured":"[8] A. Austin and L. Williams, \"One technique is not enough: a comparison of vulnerability discovery techniques,\" International Symposium on Empirical Software Engineering and Measurement, 2011, pp. 97-106."},{"key":"ref8","first-page":"1","article-title":"Automated software verification & validation: An emerging approach for ground operations","volume-title":"IEEE Aerospace Conference","author":"Bell","year":"2008","unstructured":"[9] D. Bell and P. G. Brat, \"Automated software verification & validation: An emerging approach for ground operations,\" IEEE Aerospace Conference, 2008, pp. 1-8."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.78"},{"key":"ref10","first-page":"317","article-title":"\"Static analysis of students' java programs,\" in Proc.","volume":"30","author":"Truong","year":"2004","unstructured":"[11] N. Truong, P. Roe, and P. Bancroft, \"Static analysis of students' java programs,\" in Proc. Sixth Australasian Conferance on Computing, 2004, vol. 30, pp. 317-325.","journal-title":"Sixth Australasian Conferance on Computing"},{"key":"ref11","first-page":"26","article-title":"Putting static analysis to work for verification: A case study","volume-title":"Proc ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"Reps","year":"2000","unstructured":"[13] T. Reps, T. Lev-Ami, M. Sagiv, and R. Wilhelm, \"Putting static analysis to work for verification: A case study,\" in Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis, 2000, pp. 26-38."},{"key":"ref12","article-title":"Static code analysis on the C-130J hercules safety-critical software","volume-title":"UK Iternational Systems Safety Conference","author":"Harrison","year":"1999","unstructured":"[15] K. Harrison, \"Static code analysis on the C-130J hercules safety-critical software,\" UK Iternational Systems Safety Conference, 1999."},{"key":"ref13","first-page":"387","article-title":"Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications","volume-title":"IEEE Symposium on Security and Privacy","author":"Balzarotti","year":"2008","unstructured":"[16] D. Balzarotti, et al. \"Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications,\" IEEE Symposium on Security and Privacy, 2008, pp. 387-401."},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218132"},{"key":"ref15","article-title":"Combined static and dynamic analysis","volume-title":"Proc Intl Workshop on Abstract Interpretation of Object-Oriented Languages","author":"Biere","year":"2005","unstructured":"[22] A. Biere and C. Artho, \"Combined static and dynamic analysis,\" in Proc. Intl. Workshop on Abstract Interpretation of Object-Oriented Languages, 2005."},{"key":"ref16","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/CSMR.2006.47","article-title":"Scenario-driven dynamic analysis for comprehending large software systems","volume-title":"Proc 10th European Conference on Software Maintenance and Reengineering","author":"Salah","year":"2006","unstructured":"[23] M. Salah, S. Mancoridis, G. Antoniol, and M. D. Penta, \"Scenario-driven dynamic analysis for comprehending large software systems,\" in Proc. 10th European Conference on Software Maintenance and Reengineering, 2006, pp. 80-90."},{"key":"ref17","first-page":"269","article-title":"An integrated solution for creating dependable software","volume-title":"Computer Software and Applications Conference","author":"Wong","year":"2000","unstructured":"[25] W. E. Wong, \"An integrated solution for creating dependable software,\" Computer Software and Applications Conference, 2000, pp. 269-270."},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.1.36"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/26.2.142"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2019,7,23]],"date-time":"2019-07-23T21:14:49Z","timestamp":1563916489000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/10841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,12]]},"references-count":19,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2013,9,12]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.9.2191-2196","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,9,12]]}}}