Fault model and test-case generation for the composition of aspects.

Chitra Babu Harshini Ramnath Krishnan

Published in: ACM SIGSOFT Softw. Eng. Notes (2009)

Keyphrases

test case generation
fault model
test cases
software testing
test data generation
object oriented systems
fault injection
test suite
safety analysis
data sets
software engineering
open source
model checking
model based diagnosis