Testing AUTOSAR software with QuickCheck.
Thomas ArtsJohn HughesUlf NorellHans SvenssonPublished in: ICST Workshops (2015)
Keyphrases
- software testing
- test cases
- software systems
- testing process
- regression testing
- software development
- software development life cycle
- embedded software
- software tools
- software maintenance
- search based software testing
- quality assurance
- computer systems
- personal computer
- commercial software
- user interface
- software package
- source code
- software design
- test suite
- real time
- software developers
- software architecture
- information systems
- usability testing
- software platform
- artificial intelligence
- test data generation
- information retrieval
- development lifecycle
- data mining
- databases