Vi presenterar en algoritm och ett system för att generera inmatningshändelser för att träna smartphone-appar. Vår strategi är baserad på konkoliska tester och genererar sekvenser av händelser automatiskt och systematiskt. Det lindrar problemet med vägexplosion genom att kontrollera ett villkor på programutföranden som identifierar subkonsumtion mellan olika händelsesekvenser. Vi beskriver också vårt genomförande av strategin för Android, den mest populära smartphone app-plattformen, och resultaten av en utvärdering som visar dess effektivitet på fem Android-appar.
ACTEve REF är ett konkoliskt testverktyg som genererar sekvenser av händelser automatiskt och systematiskt.
Automated concolic testing of smartphone apps
{'venue': 'SIGSOFT FSE', 'journal': None, 'mag_field_of_study': ['Computer Science']}