Test-case generation for embedded simulink via formal concept analysis.
Nannan HePhilipp RümmerDaniel KroeningPublished in: DAC (2011)
Keyphrases
- formal concept analysis
- test case generation
- concept lattice
- formal concepts
- conceptual clustering
- test cases
- galois lattices
- software testing
- object oriented systems
- test data generation
- control system
- test suite
- knowledge discovery
- association rules
- data mining
- itemsets
- java programs
- object oriented
- test set
- database
- static analysis
- hierarchical structure
- software maintenance
- software systems
- data streams
- artificial intelligence
- machine learning
- databases