197 search results - page 12 / 40 » Model-Checking Plus Testing: From Software Architecture Anal... |
67
Voted
ICFEM
2009
Springer
15 years 4 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...
IWPC
1999
IEEE
15 years 1 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
114
click to vote
ISSTA
2000
ACM
15 years 1 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
90
Voted
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...