{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:25Z","timestamp":1750220905519,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":31,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1145\/3368926.3369703","type":"proceedings-article","created":{"date-parts":[[2019,12,20]],"date-time":"2019-12-20T13:30:11Z","timestamp":1576848611000},"page":"449-456","source":"Crossref","is-referenced-by-count":1,"title":["A Specification-Based Approach to Model Checking Event-Driven Systems"],"prefix":"10.1145","author":[{"given":"Nhat-Hoa","family":"Tran","sequence":"first","affiliation":[{"name":"National University of Civil Engineering, Hanoi, Vietnam"}]}],"member":"320","reference":[{"key":"key-10.1145\/3368926.3369703-1","doi-asserted-by":"crossref","unstructured":"Jean-Raymond Abrial. 2010. Modeling in Event-B: system and software engineering. Cambridge University Press.","DOI":"10.1017\/CBO9781139195881"},{"key":"key-10.1145\/3368926.3369703-2","unstructured":"Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto. 2013. Modbat: A model-based API tester for event-driven systems. In Haifa Verification Conference. Springer, 112--128."},{"key":"key-10.1145\/3368926.3369703-3","unstructured":"Christel Baier, Joost-Pieter Katoen, and Kim Guldstrand Larsen. 2008. Principles of model checking. MIT press."},{"key":"key-10.1145\/3368926.3369703-4","unstructured":"Marc Balcer, William Hasling, and Thomas Ostrand. 1989. Automatic generation of test scripts from formal test specifications. ACM SIGSOFT Software Engineering Notes 14, 8 (1989), 210--218."},{"key":"key-10.1145\/3368926.3369703-5","unstructured":"Fevzi Belli. 2001. Finite state testing and analysis of graphical user interfaces. In Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on. IEEE, 34--43."},{"key":"key-10.1145\/3368926.3369703-6","unstructured":"Lorenzo Bettini. 2013. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd."},{"key":"key-10.1145\/3368926.3369703-7","unstructured":"Kai-Yuan Cai, Lei Zhao, Hai Hu, and Chang-Hai Jiang. 2005. On the test case definition for GUI testing. In Quality Software, 2005.(QSIC 2005). Fifth International Conference on. IEEE, 19--26."},{"key":"key-10.1145\/3368926.3369703-8","unstructured":"Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, and Marco Roveri. 1999. NuSMV: A new symbolic model verifier. In International conference on computer aided verification. Springer, 495--499."},{"key":"key-10.1145\/3368926.3369703-9","unstructured":"Siddhartha R Dalal, Ashish Jain, Nachimuthu Karunanithi, JM Leaton, Christopher M Lott, Gardner C Patton, and Bruce M Horowitz. 1999. Model-based testing in practice. In Proceedings of the 21st international conference on Software engineering. ACM, 285--294."},{"key":"key-10.1145\/3368926.3369703-10","unstructured":"Marc de Jonge and Theo C Ruys. 2010. The SpinJa model checker. In International SPIN Workshop on Model Checking of Software. Springer, 124--128."},{"key":"key-10.1145\/3368926.3369703-11","unstructured":"Martin Fowler. 2010. Domain-specific languages. Pearson Education."},{"key":"key-10.1145\/3368926.3369703-12","unstructured":"Rob Gerth. [n.d.]. Concise PROMELA reference, 1997. ([n.d.])."},{"key":"key-10.1145\/3368926.3369703-13","unstructured":"Gerard J Holzmann. 2004. The SPIN model checker: Primer and reference manual. Vol. 1003. Addison-Wesley Reading."},{"key":"key-10.1145\/3368926.3369703-14","unstructured":"Kyungsoo Im, Tacksoo Im, and John D McGregor. 2008. Automating test case definition using a domain specific language. In Proceedings of the 46th Annual Southeast Regional Conference on XX. ACM, 180--185."},{"key":"key-10.1145\/3368926.3369703-15","unstructured":"Natalia Juristo, Ana M Moreno, and Sira Vegas. 2004. Reviewing 25 years of testing technique experiments. Empirical Software Engineering 9, 1-2 (2004), 7--44."},{"key":"key-10.1145\/3368926.3369703-16","unstructured":"Atif M Memon. 2007. An event-flow model of GUI-based applications for testing. Software Testing Verification and Reliability 17, 3 (2007), 137--158."},{"key":"key-10.1145\/3368926.3369703-17","unstructured":"Atif M Memon, Martha E Pollack, and Mary Lou Soffa. 1999. Using a goal-driven approach to generate test cases for GUIs. In Software Engineering, 1999. Proceedings of the 1999 International Conference on. IEEE, 257--266."},{"key":"key-10.1145\/3368926.3369703-18","unstructured":"Clementine Nebut, Franck Fleurey, Yves Le Traon, and J-M Jezequel. 2006. Automatic test generation: A use case driven approach. IEEE Transactions on Software Engineering 32, 3 (2006), 140--155."},{"key":"key-10.1145\/3368926.3369703-19","unstructured":"Tran Nhat-Hoa. 2019. ESpinJa. https:\/\/sites.google.com\/site\/trannhathoa\/home\/espinja (accessed 5-Sep-2019)."},{"key":"key-10.1145\/3368926.3369703-20","unstructured":"Ana CR Paiva, João Pascoal Faria, and Raul Moreira Vidal. 2004. Automated Specification-based Testing of Interactive Components with AsmL.. In QUATIC. 119--126."},{"key":"key-10.1145\/3368926.3369703-21","unstructured":"Puneet E Patel and Nitin N Patil. 2013. Testcases Formation Using UML Activity Diagram. In Communication Systems and Network Technologies (CSNT), 2013 International Conference on. IEEE, 884--889."},{"key":"key-10.1145\/3368926.3369703-22","unstructured":"Hassan Reza, Sandeep Endapally, and Emanuel Grant. 2007. A model-based approach for testing GUI using hierarchical predicate transition nets. In Information Technology, 2007. ITNG'07. Fourth International Conference on. IEEE, 366--370."},{"key":"key-10.1145\/3368926.3369703-23","unstructured":"Richard K Shehady and Daniel P Siewiorek. 1997. A method to automate user interface testing using variable finite state machines. In Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on. IEEE, 80--88."},{"key":"key-10.1145\/3368926.3369703-24","unstructured":"Mahesh Shirole and Rajeev Kumar. 2013. UML behavioral model based test case generation: a survey. ACM SIGSOFT Software Engineering Notes 38, 4 (2013), 1--13."},{"key":"key-10.1145\/3368926.3369703-25","unstructured":"Santosh Kumar Swain, Durga Prasad Mohapatra, and Rajib Mall. 2010. Test case generation based on use case and sequence diagram. International Journal of Software Engineering 3, 2 (2010), 21--52."},{"key":"key-10.1145\/3368926.3369703-26","unstructured":"Nhat-Hoa Tran, Yuki Chiba, and Toshiaki Aoki. 2017. Domain-specific language facilitates scheduling in model checking. In 2017 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 417--426."},{"key":"key-10.1145\/3368926.3369703-27","unstructured":"Marlon Vieira, Johanne Leduc, Bill Hasling, Rajesh Subramanyan, and Juergen Kazmeier. 2006. Automation of GUI testing using a model-driven approach. In Proceedings of the 2006 international workshop on Automation of software test. ACM, 9--14."},{"key":"key-10.1145\/3368926.3369703-28","unstructured":"Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal. 2015. Automatic generation of system test cases from use case specifications. In Proceedings of the 2015 International Symposium on Software Testing and Analysis. ACM, 385--396."},{"key":"key-10.1145\/3368926.3369703-29","unstructured":"Yiwen Wang and Mao Zheng. 2012. Test case generation from UML models. In 45th Annual Midwest Instruction and Computing Symposium, Cedar Falls, Iowa, Vol. 4."},{"key":"key-10.1145\/3368926.3369703-30","unstructured":"Lee White and Husain Almezen. 2000. Generating test cases for GUI responsibilities using complete interaction sequences. In Software Reliability Engineering, 2000. ISSRE 2000. Proceedings. 11th International Symposium on. IEEE, 110--121."},{"key":"key-10.1145\/3368926.3369703-31","unstructured":"Qing Xie. 2006. Developing cost-effective model-based techniques for GUI testing. In Proceedings of the 28th international conference on Software engineering. ACM, 997--1000."}],"event":{"number":"10","sponsor":["SOICT, School of Information and Communication Technology - HUST","NAFOSTED, The National Foundation for Science and Technology Development"],"acronym":"SoICT 2019","name":"the Tenth International Symposium","start":{"date-parts":[[2019,12,4]]},"location":"Hanoi, Ha Long Bay, Viet Nam","end":{"date-parts":[[2019,12,6]]}},"container-title":["Proceedings of the Tenth International Symposium on Information and Communication Technology  - SoICT 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368926.3369703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3369703&ftid=2101299&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:51Z","timestamp":1750203891000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3368926.3369703"}},"subtitle":[],"proceedings-subject":"Information and Communication Technology","short-title":[],"issued":{"date-parts":[[2019]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1145\/3368926.3369703","relation":{},"subject":[],"published":{"date-parts":[[2019]]}}}