{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T14:05:28Z","timestamp":1749564328899},"reference-count":18,"publisher":"International Academy Publishing (IAP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.5.1229-1236","type":"journal-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T02:38:58Z","timestamp":1399948738000},"source":"Crossref","is-referenced-by-count":7,"title":["UML-Checker: An Approach for Verifying UML Behavioral Diagrams"],"prefix":"10.17706","volume":"9","author":[{"given":"Fl\u00e1vio","family":"Fernandes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,5,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"key":"ref2","volume-title":"Testing computer software","author":"Kaner","year":"1999","unstructured":"[2] C. Kaner, J. L. Falk, H. Q. Nguyen, Testing computer software. New York: John Wiley & Sons, 1999."},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.815326"},{"key":"ref4","first-page":"86","article-title":"Where the bugs are.","volume-title":"ACM Sigsoft International Symposium on Software Testing and Analysis","author":"Ostrand","year":"2004","unstructured":"[4] T. J. Ostrand, E. J. Weyuker, R. M. Bell, Where the bugs are. ACM Sigsoft International Symposium on Software Testing and Analysis, 2004. Proceedings of the ISSTA '04. Boston: ACM, 2004. p.86-96."},{"key":"ref5","first-page":"61","article-title":"Looking for bugs in all the right places.","volume-title":"International Symposium on Software Testing and Analysis","author":"Bell","year":"2006","unstructured":"[5] R. M. Bell, T. J. Ostrand, E. J. Weyuker, Looking for bugs in all the right places. International Symposium on Software Testing and Analysis, 2006. Proceedings of ISSTA. Maine: ACM, 2006. p.61-72."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.49"},{"key":"ref7","volume-title":"Software Engineering","author":"Pressman","year":"2009","unstructured":"[7] R. S. Pressman, Software Engineering: A Practitioners Approach. 7th ed. New York: McGraw Hill Science\/Engineering Math, 2009."},{"key":"ref8","volume-title":"Software Engineering","author":"Sommerville","year":"2004","unstructured":"[8] I. Sommerville, Software Engineering. 7th ed. Boston: Pearson Addison Wesley, 2004."},{"key":"ref9","first-page":"124","article-title":"Verification and validation of simulation models.","volume-title":"The Winter Simulation Conference","author":"Sargent","year":"2007","unstructured":"[9] R. G. Sargent, Verification and validation of simulation models. In: The Winter Simulation Conference, 2007. Proceedings of the WSC '07. Washington: IEEE Computing Society, 2007. p.124-137."},{"key":"ref10","volume-title":"Foundations of software Testing","author":"Graham","year":"2008","unstructured":"[10] D. Graham, E. Veenendaal, I. Evans, R. Black, Foundations of software Testing: ISTQB certification. Derby: Int. Thomson Business, 2008."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"ref12","first-page":"639","article-title":"Model Checking: Software and Beyond.","volume":"13","author":"Clarke","year":"2007","unstructured":"[12] E. M. Clarke, F. Lerda, Model Checking: Software and Beyond. Journal of Universal Computer Science, v.13, p.639-649, 2007.","journal-title":"Journal of Universal Computer Science"},{"key":"ref13","volume-title":"Model Checking","author":"Clarke","year":"1999","unstructured":"[13] E. M. Clarke, O. Grumberg, D. A. Peled, Model Checking. Cambridge, Massachusetts: The MIT Press, 1999."},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref15","first-page":"427","article-title":"Efficient generation of counterexamples and witnesses in symbolic model checking.","volume-title":"ACM\/IEEE Design Automation Conference","volume":"32","author":"Clarke","year":"1995","unstructured":"[15] E. M. Clarke, O. Grumberg, K. L. McMillan, X. Zhao, Efficient generation of counterexamples and witnesses in symbolic model checking. ACM\/IEEE Design Automation Conference, 32, 1995. Proceedings of DAC'95. San Francisco: ACM\/IEEE, 1995. p.427-432."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_14"},{"key":"ref17","first-page":"374","article-title":"Barros, Cristiano de Magalh\u00e3es; Song, Mark Alan Junho. Automatized Checking of Business Rules for Activity Execution Sequence in Workflows.","volume":"7","year":"2012","unstructured":"[17] Barros, Cristiano de Magalh\u00e3es; Song, Mark Alan Junho. Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. Journal of Software, v. 7, p. 374-381, 2012.","journal-title":"J Softw","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1109\/CCECE.2007.321","article-title":"Transformation of UML Models into Formal RTPA Specifications.","volume-title":"Electrical and Computer Engineering","author":"Tian","year":"2007","unstructured":"[18] Tian, Y., Wang, Y.; 2007. Transformation of UML Models into Formal RTPA Specifications. In: Electrical and Computer Engineering, CCECE."}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T13:05:47Z","timestamp":1498136747000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/11320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,1]]},"references-count":18,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2014,5,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.5.1229-1236","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,5,1]]}}}