ATTEST: A Testing Toolkit for Validating Software Properties.
Yansong (Jennifer) RenFangzhe ChangPublished in: ICSM (2007)
Keyphrases
- software testing
- test cases
- software package
- testing process
- software reliability
- quality assurance
- source code
- software development
- computer systems
- software systems
- desirable properties
- software maintenance
- test data generation
- topological properties
- software design
- test suite
- software architecture
- embedded software
- test case generation
- machine learning
- software development life cycle
- real time
- software evolution
- software tools
- structural properties
- test data
- open source
- data sets