High-coverage testing of navigation models in android applications

Mostrar otras versiones (1)

In this work, we present a tool that systematically discovers and tests the user-observable states of an Android application. We define an appropriate notion of test coverage, and we show the tool's potential by applying it to several publicly available applications. © 2017 IEEE.

Guardado en:
Detalles Bibliográficos
Autor principal: Paulovsky, F.
Otros Autores: Pavese, E., Garbervetsky, D.
Formato: Acta de conferencia Capítulo de libro
Lenguaje:Inglés
Publicado: Institute of Electrical and Electronics Engineers Inc. 2017
Acceso en línea:Registro en Scopus
DOI
Handle
Registro en la Biblioteca Digital
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires
LEADER 05489caa a22006377a 4500
001 PAPER-25458
003 AR-BaUEN
005 20230518205730.0
008 190410s2017 xx ||||fo|||| 10| 0 eng|d
024 7 |2 scopus  |a 2-s2.0-85026747424 
040 |a Scopus  |b spa  |c AR-BaUEN  |d AR-BaUEN 
100 1 |a Paulovsky, F. 
245 1 0 |a High-coverage testing of navigation models in android applications 
260 |b Institute of Electrical and Electronics Engineers Inc.  |c 2017 
270 1 0 |m Paulovsky, F.; Departamento de Computacion, Universidad de Buenos AiresArgentina; email: fernandopaulovsky@gmail.com 
506 |2 openaire  |e Política editorial 
504 |a Amalfitano, D., Fasolino, A.R., Tramontana, P., Ta, B.D., Memon, A.M., MobiGUITAR: Automated model-based testing of mobile apps (2015) IEEE Software, 32 (5), pp. 53-59 
504 |a Yang, W., Prasad, M.R., Xie, T., A grey-box approach for automated gui-model generation of mobile applications (2013) FASE, pp. 250-265. , Springer 
504 |a Machiry, A., Tahiliani, R., Naik, M., Dynodroid: An input generation system for android apps (2013) FSE. ACM, pp. 224-234 
504 |a Choi, W., Necula, G., Sen, K., Guided gui testing of android apps with minimal restart and approximate learning (2013) ACM SIGPLAN Notices, 48 (10), pp. 623-640. , ACM 
504 |a (2010) Robotium, , http://robotium.com, Online]. Available 
504 |a Choudhary, S.R., Gorla, A., Orso, A., (2015) Automated Test Input Generation for Android: Are We There Yet? ASE, Ser. ASE ?15, pp. 429-440. , Washington, DC, USA IEEE Computer Society 
504 |a Amalfitano, D., Fasolino, A.R., Tramontana, P., De Carmine, S., Memon, A.M., Using gui ripping for automated testing of android applications (2012) Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. ACM, pp. 258-261 
504 |a Havelund, K., Pressburger, T., Model checking Java programs using Java pathfinder (2000) STTT, 2 (4), pp. 366-381 
504 |a Van der Merwe, H., Van der Merwe, B., Visser, W., Execution and property specifications for JPF-Android (2014) SIGSOFT SEN, 39 (1), pp. 1-5. , Feb 
504 |a Mirzaei, N., Malek, S., Psreanu, C.S., Esfahani, N., Mahmood, R., Testing android apps through symbolic execution (2012) SIGSOFT SEN, 37 (6), pp. 1-5 
504 |a Anand, S., Naik, M., Harrold, M.J., Yang, H., (2012) Automated Concolic Testing of Smartphone Apps ser, 59, pp. 1-59. , FSE ?12. New York, NY, USA ACM 11 
504 |a Gomez, L., Neamtiu, I., Azim, T., Millstein, T., Reran: Timing-And touch-sensitive record and replay for android (2013) ICSE, pp. 72-81. , IEEE 
504 |a Godefroid, P., Klarlund, N., Sen, K., Dart: Directed automated random testing (2005) ACM Sigplan Notices, 40 (6), pp. 213-223. , ACM 
504 |a Zheng, H., Li, D., Liang, B., Zeng, X., Zheng, W., Deng, Y., Lam, W., Xie, T., Automated test input generation for android: Towards getting there in an industrial case (2017) Proceedings of the 39th International Conference on Software Engineering (ICSE 2017), Software Engineering in Practice (SEIP, , ACM 
504 |a Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., McDaniel, P., Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-Aware taint analysis for android apps (2014) ACM Sigplan Notices, 49 (6), pp. 259-269A4 - 
520 3 |a In this work, we present a tool that systematically discovers and tests the user-observable states of an Android application. We define an appropriate notion of test coverage, and we show the tool's potential by applying it to several publicly available applications. © 2017 IEEE.  |l eng 
593 |a Departamento de Computacion, Universidad de Buenos Aires, Buenos Aires, Argentina 
593 |a Institut fur Informatik, Humboldt Universitat, Berlin, Germany 
593 |a Departamento de Computacion, Universidad de Buenos Aires, CONICET, Buenos Aires, Argentina 
690 1 0 |a ANDROID TESTING 
690 1 0 |a AUTOMATIC TESTING 
690 1 0 |a GUI-BASED TESTING 
690 1 0 |a ANDROID (OPERATING SYSTEM) 
690 1 0 |a AUTOMATIC TESTING 
690 1 0 |a ANDROID APPLICATIONS 
690 1 0 |a COVERAGE TESTING 
690 1 0 |a NAVIGATION MODEL 
690 1 0 |a TEST COVERAGE 
690 1 0 |a SOFTWARE TESTING 
700 1 |a Pavese, E. 
700 1 |a Garbervetsky, D. 
711 2 |d 20 May 2017 through 21 May 2017  |g Código de la conferencia: 128907 
773 0 |d Institute of Electrical and Electronics Engineers Inc., 2017  |h pp. 52-58  |p Proc. - IEEE/ACM Int. Workshop Autom. Softw. Test., AST  |n Proceedings - 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing, AST 2017  |z 9781538615485  |t 12th IEEE/ACM International Workshop on Automation of Software Testing, AST 2017 
856 4 1 |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-85026747424&doi=10.1109%2fAST.2017.6&partnerID=40&md5=402f2e0b96fe6065ff7dcf4fd58087d2  |y Registro en Scopus 
856 4 0 |u https://doi.org/10.1109/AST.2017.6  |y DOI 
856 4 0 |u https://hdl.handle.net/20.500.12110/paper_97815386_v_n_p52_Paulovsky  |y Handle 
856 4 0 |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815386_v_n_p52_Paulovsky  |y Registro en la Biblioteca Digital 
961 |a paper_97815386_v_n_p52_Paulovsky  |b paper  |c PE 
962 |a info:eu-repo/semantics/conferenceObject  |a info:ar-repo/semantics/documento de conferencia  |b info:eu-repo/semantics/publishedVersion 
999 |c 86411 

Ejemplares similares