Automated testing with targeted event sequence generation
Authors:
Top Cited Papers
Open Access
- 15 July 2013
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 67-77
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Testing android apps through symbolic executionACM SIGSOFT Software Engineering Notes, 2012
- Verifying android applications using Java PathFinderACM SIGSOFT Software Engineering Notes, 2012
- Automated concolic testing of smartphone apps2012
- Lightweight Static Analysis for GUI Testing2012
- Combining model-based and combinatorial testing for effective test case generation2012
- Event Listener Analysis and Symbolic Execution for Testing GUI Applications2009
- Using a pilot study to derive a GUI model for automated testingACM Transactions on Software Engineering and Methodology, 2008
- Compositional dynamic test generation2007
- The chaining approach for software test data generationACM Transactions on Software Engineering and Methodology, 1996
- Symbolic execution and program testingCommunications of the ACM, 1976