210 search results - page 25 / 42 » On testing UML statecharts |
ROBOCUP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
FASE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
EUROMICRO
2003
IEEE
14 years 3 months ago
2003
IEEE
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...