Requirements traceability in automated test generation: application to smart card software validation.
Fabrice BouquetEddie JaffuelBruno LegeardFabien PeureuxMark UttingPublished in: ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
- smart card
- test generation
- software application
- software architecture
- authentication scheme
- security requirements
- computer systems
- test cases
- software systems
- software testing
- software quality
- static analysis
- quality assurance
- remote user authentication scheme
- security analysis
- development process
- life cycle
- test set