The FSM and Message Communication: Impact on Software Testing.
A. ButtiAldo LoraG. C. MacchiPublished in: ICC (3) (1984)
Keyphrases
- software testing
- message transmission
- test cases
- software development
- communication channels
- software engineering
- software reliability
- control flow
- quality assurance
- test case generation
- software systems
- fault localization
- regression testing
- test data generation
- white box testing
- testing process
- integration testing
- finite state machines
- test generation
- artificial intelligence
- test suite
- formal specification
- short messages
- cooperative
- operating system
- object oriented
- messages exchanged
- database systems