Lightweight Static Analysis for GUI Testing.
Stephan ArltAndreas PodelskiCristiano BertoliniMartin SchäfIshan BanerjeeAtif M. MemonPublished in: ISSRE (2012)
Keyphrases
- lightweight
- static analysis
- symbolic execution
- test case generation
- dynamic analysis
- test generation
- test suite
- test cases
- source code
- java card
- malicious code
- software testing
- wireless sensor networks
- regular expressions
- abstract interpretation
- test data generation
- open source
- communication infrastructure
- dos attacks
- reverse engineering
- object oriented systems
- query processing