Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing.
Bernhard K. AichernigMartin TapplerPublished in: Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
- input output
- mutation testing
- test sequences
- state transition
- database applications
- test generation
- fuzzy neural network
- noise cancellation
- finite state machines
- test suite
- internal states
- high level
- test cases
- ibm zenterprise
- integration testing
- fuzzy controller
- fuzzy model
- open source
- fuzzy inference system
- object oriented
- hidden markov models
- learning algorithm
- databases