Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.
Lydie du BousquetFarid OuabdesselamJean-Luc RichierNicolas ZuanonPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- test cases
- software testing
- testing process
- data sets
- quality assurance
- software systems
- software architecture
- computer systems
- software development
- test data
- user interface
- case study
- software tools
- test suite
- test case generation
- test bed
- embedded software
- regression testing
- object oriented software
- topological properties
- software design
- data flow
- decision trees
- learning algorithm
- neural network