297 search results - page 3 / 60 » Multi-paradigmatic Model-Based Testing |
111
Voted
PTS
2008
15 years 2 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
139
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
98
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
94
Voted
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
120
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...