{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:58Z","timestamp":1750308718830,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":16,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1145\/2676585.2676615","type":"proceedings-article","created":{"date-parts":[[2015,1,16]],"date-time":"2015-01-16T19:18:59Z","timestamp":1421435939000},"page":"92-101","source":"Crossref","is-referenced-by-count":1,"title":["Inferring models with rule-based expert systems"],"prefix":"10.1145","author":[{"given":"William","family":"Durand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Salva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/2676585.2676615-1","doi-asserted-by":"crossref","unstructured":"D. Amalfitano, A. R. Fasolino, P. Tramontana, S. De Carmine, and A. M. Memon. Using gui ripping for automated testing of android applications. InProceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, pages 258--261, New York, NY, USA, 2012. ACM.","DOI":"10.1145\/2351676.2351717"},{"key":"key-10.1145\/2676585.2676615-2","doi-asserted-by":"crossref","unstructured":"S. Anand, M. Naik, M. J. Harrold, and H. Yang. Automated concolic testing of smartphone apps. InProceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE '12, pages 59:1--59:11, New York, NY, USA, 2012. ACM.","DOI":"10.1145\/2393596.2393666"},{"key":"key-10.1145\/2676585.2676615-3","doi-asserted-by":"crossref","unstructured":"D. Angluin. Learning regular sets from queries and counterexamples.Information and Computation, 75(2): 87--106, 1987.","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"key-10.1145\/2676585.2676615-4","doi-asserted-by":"crossref","unstructured":"S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. Ernst. Finding bugs in web applications using dynamic test generation and explicit-state model checking.Software Engineering, IEEE Transactions on, 36(4): 474--494, 2010.","DOI":"10.1109\/TSE.2010.31"},{"key":"key-10.1145\/2676585.2676615-5","doi-asserted-by":"crossref","unstructured":"W. Choi, G. Necula, and K. Sen. Guided gui testing of android apps with minimal restart and approximate learning. InProceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '13, pages 623--640, New York, NY, USA, 2013. ACM.","DOI":"10.1145\/2509136.2509552"},{"key":"key-10.1145\/2676585.2676615-6","doi-asserted-by":"crossref","unstructured":"V. Dallmeier, M. Burger, T. Orth, and A. Zeller. Webmate: a tool for testing web 2.0 applications. InProceedings of the Workshop on JavaScript Tools, JSTools '12, pages 11--15, New York, NY, USA, 2012. ACM.","DOI":"10.1145\/2307720.2307722"},{"key":"key-10.1145\/2676585.2676615-7","doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez. An implementation of an efficient algorithm for bisimulation equivalence.Science of Computer Programming, 13: 13--219, 1989.","DOI":"10.1016\/0167-6423(90)90071-K"},{"key":"key-10.1145\/2676585.2676615-8","doi-asserted-by":"crossref","unstructured":"L. Frantzen, J. Tretmans, and T. Willemse. Test Generation Based on Symbolic Specifications. In J. Grabowski and B. Nielsen, editors,FATES 2004, number 3395 in Lecture Notes in Computer Science, pages 1--15. Springer, 2005.","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"key-10.1145\/2676585.2676615-9","doi-asserted-by":"crossref","unstructured":"M. E. Joorabchi and A. Mesbah. Reverse engineering ios mobile applications. InProceedings of the 2012 19th Working Conference on Reverse Engineering, WCRE '12, pages 177--186, Washington, DC, USA, 2012. IEEE Computer Society.","DOI":"10.1109\/WCRE.2012.27"},{"key":"key-10.1145\/2676585.2676615-10","doi-asserted-by":"crossref","unstructured":"B. Lambeau, C. Damas, and P. Dupont. State-merging dfa induction algorithms with mandatory merge constraints. In A. Clark, F. Coste, and L. Miclet, editors,Grammatical Inference: Algorithms and Applications, volume 5278 ofLecture Notes in Computer Science, pages 139--153. Springer Berlin Heidelberg, 2008.","DOI":"10.1007\/978-3-540-88009-7_11"},{"key":"key-10.1145\/2676585.2676615-11","doi-asserted-by":"crossref","unstructured":"A. Memon, I. Banerjee, and A. Nagarajan. Gui ripping: Reverse engineering of graphical user interfaces for testing. InProceedings of the 10th Working Conference on Reverse Engineering, WCRE '03, pages 260--, Washington, DC, USA, 2003. IEEE Computer Society.","DOI":"10.1109\/WCRE.2003.1287256"},{"key":"key-10.1145\/2676585.2676615-12","doi-asserted-by":"crossref","unstructured":"A. Mesbah, A. van Deursen, and S. Lenselink. Crawling Ajax-based web applications through dynamic analysis of user interface state changes.ACM Transactions on the Web (TWEB), 6(1): 3:1--3:30, 2012.","DOI":"10.1145\/2109205.2109208"},{"key":"key-10.1145\/2676585.2676615-13","doi-asserted-by":"crossref","unstructured":"M. Pradel and T. R. Gross. Automatic generation of object usage specifications from large method traces. InProceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE '09, pages 371--382, Washington, DC, USA, 2009. IEEE Computer Society.","DOI":"10.1109\/ASE.2009.60"},{"key":"key-10.1145\/2676585.2676615-14","unstructured":"S. Salva and W. Durand. Model inference combining expert systems and formal models. Technical report, LIMOS, http:\/\/sebastien.salva.free.fr\/RR-14-04.pdf, 2014. LIMOS Research report RR-14-04."},{"key":"key-10.1145\/2676585.2676615-15","doi-asserted-by":"crossref","unstructured":"W. Yang, M. R. Prasad, and T. Xie. A grey-box approach for automated gui-model generation of mobile applications. InProceedings of the 16th international conference on Fundamental Approaches to Software Engineering, FASE'13, pages 250--265, Berlin, Heidelberg, 2013. Springer-Verlag.","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"key-10.1145\/2676585.2676615-16","doi-asserted-by":"crossref","unstructured":"H. Zhong, L. Zhang, T. Xie, and H. Mei. Inferring specifications for resources from natural language api documentation.Autom. Softw. Eng., 18(3-4): 227--261, 2011.","DOI":"10.1007\/s10515-011-0082-3"}],"event":{"name":"the Fifth Symposium","start":{"date-parts":[[2014,12,4]]},"number":"5","location":"Hanoi, Viet Nam","end":{"date-parts":[[2014,12,5]]},"acronym":"SoICT '14"},"container-title":["Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676585.2676615","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=2676615&ftid=1529164&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:30Z","timestamp":1750277670000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2676585.2676615"}},"subtitle":[],"proceedings-subject":"Information and Communication Technology","short-title":[],"issued":{"date-parts":[[2014]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1145\/2676585.2676615","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}