Systematic execution of Android test suites in adverse conditions.
Christoffer Quist AdamsenGianluca MezzettiAnders MøllerPublished in: ISSTA (2015)
Keyphrases
- database systems
- test suite
- testing process
- test cases
- test suite reduction
- database
- software testing
- data model
- regression testing
- mobile devices
- sufficient conditions
- model checker
- java programs
- mobile applications
- software development
- static analysis
- formal methods
- tool support
- mutation testing
- number of test cases
- case study