{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:48:27Z","timestamp":1760586507806,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,24]],"date-time":"2008-11-24T00:00:00Z","timestamp":1227484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["474031\/2006-3"],"award-info":[{"award-number":["474031\/2006-3"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,24]]},"DOI":"10.1145\/1497308.1497375","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"374-381","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["WEB-PerformCharts"],"prefix":"10.1145","author":[{"given":"Alessandro Oliveira","family":"Arantes","sequence":"first","affiliation":[{"name":"Aerospace Technological Center (CTA), S\u00e3o Jos\u00e9 dos Campos -- SP -- Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nandamudi Lankalapalli","family":"Vijaykumar","sequence":"additional","affiliation":[{"name":"National Institute for Space Research (INPE), S\u00e3o Jos\u00e9 dos Campos -- SP -- Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdivino Alexandre","family":"de Santiago Junior","sequence":"additional","affiliation":[{"name":"National Institute for Space Research (INPE), S\u00e3o Jos\u00e9 dos Campos -- SP -- Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danielle","family":"Guimar\u00e3es","sequence":"additional","affiliation":[{"name":"National Institute for Space Research (INPE), S\u00e3o Jos\u00e9 dos Campos -- SP -- Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,11,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Software engineering - a practitioner's approach","author":"Pressman R. S.","unstructured":"Pressman , R. S. 2000. Software engineering - a practitioner's approach , 5 th edition, McGraw-Hill International Editions . Pressman, R. S. 2000. Software engineering - a practitioner's approach, 5th edition, McGraw-Hill International Editions.","edition":"5"},{"volume-title":"Proceedings of the IEEE, 84(8).","author":"Lee D.","key":"e_1_3_2_1_2_1","unstructured":"Lee , D. , and Yannakakis , M . 1996. Principles and Methods of Testing Finite State Machines -- A Survey , In: Proceedings of the IEEE, 84(8). Lee, D., and Yannakakis, M. 1996. Principles and Methods of Testing Finite State Machines -- A Survey, In: Proceedings of the IEEE, 84(8)."},{"volume-title":"33rd Hawaii International Conference on System Sciences.","author":"Martins E.","key":"e_1_3_2_1_3_1","unstructured":"Martins , E. , Sabi\u00e3o , S. B. , and Ambr\u00f3sio , A. M . 2000. Condata: a tool for automating specification-based test case generation for communication systems , 33rd Hawaii International Conference on System Sciences. Martins, E., Sabi\u00e3o, S. B., and Ambr\u00f3sio, A. M. 2000. Condata: a tool for automating specification-based test case generation for communication systems, 33rd Hawaii International Conference on System Sciences."},{"key":"e_1_3_2_1_4_1","volume-title":"The art of software testing","author":"Myers G.","year":"1979","unstructured":"Myers , G. 1979. The art of software testing , John Wiley & amp; Sons, 1979 . Myers, G. 1979. The art of software testing, John Wiley & Sons, 1979."},{"key":"e_1_3_2_1_5_1","first-page":"220","volume-title":"Proceedings of the 4th International Conference on Software Engineering","author":"Pimont S.","unstructured":"Pimont , S. , and Rault , J. C . 1979. An approach towards reliable Software , Proceedings of the 4th International Conference on Software Engineering , Munich, Germany , pp. 220 -- 230 . Pimont, S., and Rault, J. C. 1979. An approach towards reliable Software, Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, pp. 220--230."},{"key":"e_1_3_2_1_6_1","first-page":"703","volume-title":"IEEE Fifth International Conference on Information Visualisation","author":"Tian G. Y.","unstructured":"Tian , G. Y. , and Taylor , D . 2001. Design and Implementation of a Web-based Distributed Collaborative Design Environment , IEEE Fifth International Conference on Information Visualisation , London, UK , pp. 703 -- 707 . Tian, G. Y., and Taylor, D. 2001. Design and Implementation of a Web-based Distributed Collaborative Design Environment, IEEE Fifth International Conference on Information Visualisation, London, UK, pp. 703--707."},{"key":"e_1_3_2_1_7_1","first-page":"496","volume-title":"Proceedings of the 12th International Workshop on Database and Expert Systems Applications","author":"Bafoutsou G.","unstructured":"Bafoutsou , G. , and Mentzas , G . 2001. A Comparative Analysis of Web-based Collaborative Systems, Database and Expert Systems Applications , Proceedings of the 12th International Workshop on Database and Expert Systems Applications , pp. 496 -- 500 . Bafoutsou, G., and Mentzas, G. 2001. A Comparative Analysis of Web-based Collaborative Systems, Database and Expert Systems Applications, Proceedings of the 12th International Workshop on Database and Expert Systems Applications, pp. 496--500."},{"volume-title":"Software Engineering","author":"Sommerville I.","key":"e_1_3_2_1_8_1","unstructured":"Sommerville , I. 2003. Software Engineering , Addison Wesley . Sommerville, I. 2003. Software Engineering, Addison Wesley."},{"volume-title":"Petri net theory and modeling of systems","author":"Peterson J. L.","key":"e_1_3_2_1_9_1","unstructured":"Peterson , J. L. 1981. Petri net theory and modeling of systems , Prentice-Hall International , London . Peterson, J. L. 1981. Petri net theory and modeling of systems, Prentice-Hall International, London."},{"key":"e_1_3_2_1_10_1","volume-title":"SDL: Formal Object-oriented Language for Communicating Systems","author":"Ellsberger I.","year":"1997","unstructured":"Ellsberger , I. , Hogrefe , D. and Sarma , A . 1997 . SDL: Formal Object-oriented Language for Communicating Systems , Prentice Hall Europe . Ellsberger, I., Hogrefe, D. and Sarma, A. 1997. SDL: Formal Object-oriented Language for Communicating Systems, Prentice Hall Europe."},{"volume-title":"IEEE Symposium on Logic in Computer Science","author":"Harel D.","key":"e_1_3_2_1_11_1","unstructured":"Harel , D. , Pnueli , A. , Schmidt , J. , and Sherman , R . 1987. On the formal semantics of Statecharts , IEEE Symposium on Logic in Computer Science , Ithaca, USA. Harel, D., Pnueli, A., Schmidt, J., and Sherman, R. 1987. On the formal semantics of Statecharts, IEEE Symposium on Logic in Computer Science, Ithaca, USA."},{"key":"e_1_3_2_1_12_1","unstructured":"Harel D. and Politi M. 1998. Modeling Reactive Systems with Statecharts: the Statemate Approach McGraw-Hill USA.   Harel D. and Politi M. 1998. Modeling Reactive Systems with Statecharts: the Statemate Approach McGraw-Hill USA."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1111\/1475-3995.00358"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2005.02.018"},{"issue":"3","key":"e_1_3_2_1_17_1","first-page":"260","article-title":"On proposing a Markup Language for Statecharts to be used in Performance Evaluation","volume":"1","author":"Amaral A. S. M. S.","year":"2004","unstructured":"Amaral , A. S. M. S. , Veloso , R. R. , Vijaykumar , N. L. , Franc\u00eas , C. R. L. , and Oliveira , E. 2004 . On proposing a Markup Language for Statecharts to be used in Performance Evaluation , International Journal of Computational Intelligence , 1 ( 3 ), pp. 260 -- 265 . Amaral, A. S. M. S., Veloso, R. R., Vijaykumar, N. L., Franc\u00eas, C. R. L., and Oliveira, E. 2004. On proposing a Markup Language for Statecharts to be used in Performance Evaluation, International Journal of Computational Intelligence, 1(3), pp. 260--265.","journal-title":"International Journal of Computational Intelligence"},{"key":"e_1_3_2_1_18_1","unstructured":"Arantes A. Vijaykumar N. Santiago V. and Carvalho A. 2008. Automatic Test Case Generation Through a Collaborative Web Application Accepted for presentation at The IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2008) Innsbruck Austria 17--19 March.   Arantes A. Vijaykumar N. Santiago V. and Carvalho A. 2008. Automatic Test Case Generation Through a Collaborative Web Application Accepted for presentation at The IASTED International Conference on Internet and Multimedia Systems and Applications (EuroIMSA 2008) Innsbruck Austria 17--19 March."},{"key":"e_1_3_2_1_19_1","first-page":"51","volume-title":"The 19th International Conference on Software Engineering & Knowledge Engineering (SEKE)","author":"Santiago V.","unstructured":"Santiago , V. , Mattiello-Francisco , M. F. , Costa , R. , Silva , W. P. , and Ambrosio , A. M . 2007. QSEE Project: An Experience in Outsourcing Software Development for Space Applications , In: The 19th International Conference on Software Engineering & Knowledge Engineering (SEKE) , Boston, EUA , p. 51 -- 56 . Santiago, V., Mattiello-Francisco, M. F., Costa, R., Silva, W. P., and Ambrosio, A. M. 2007. QSEE Project: An Experience in Outsourcing Software Development for Space Applications, In: The 19th International Conference on Software Engineering & Knowledge Engineering (SEKE), Boston, EUA, p. 51--56."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.100"}],"event":{"name":"iiWAS08: 10th International Conference on Information Integration and Web-based Applications & Services","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Linz Austria","acronym":"iiWAS08"},"container-title":["Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497308.1497375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1497308.1497375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:41Z","timestamp":1750250741000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497308.1497375"}},"subtitle":["a collaborative web-based tool for test case generation from statecharts"],"short-title":[],"issued":{"date-parts":[[2008,11,24]]},"references-count":20,"alternative-id":["10.1145\/1497308.1497375","10.1145\/1497308"],"URL":"https:\/\/doi.org\/10.1145\/1497308.1497375","relation":{},"subject":[],"published":{"date-parts":[[2008,11,24]]},"assertion":[{"value":"2008-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}