Mastering Test Generation from Smart Card Software Formal Models.
Fabrice BouquetBruno LegeardFabien PeureuxEric TorreborrePublished in: CASSIS (2004)
Keyphrases
- smart card
- formal models
- test generation
- static analysis
- test cases
- java card
- software testing
- quality assurance
- rule based systems
- formal model
- security requirements
- secret key
- process model
- software development
- source code
- security analysis
- test data generation
- authentication scheme
- information security
- differential power analysis
- user interface
- test suite
- quality control
- authentication protocol
- quality assessment
- image quality
- software engineering
- database systems
- software projects
- software systems
- remote user authentication scheme