Systematic Model-Based Testing of Embedded Automotive Software.
Mirko ConradInes FeySadegh SadeghipourPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- model based testing
- test cases
- software development
- software design
- embedded systems
- testing process
- software testing
- software systems
- software components
- artificial intelligence
- software engineering
- sequence diagrams
- computer systems
- development process
- software architecture
- test sequences
- quality assurance
- neural network
- petri net
- source code
- knowledge management
- learning algorithm