108
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
116
Voted
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...