197 search results - page 12 / 40 » Model-Checking Plus Testing: From Software Architecture Anal... |
149
click to vote
ICFEM
2009
Springer
16 years 11 days 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...
126
Voted
IWPC
1999
IEEE
15 years 10 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...
216
Voted
ISSTA
2000
ACM
15 years 10 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...
177
Voted
FASE
2005
Springer
15 years 11 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...
164
Voted
ICSE
2008
IEEE-ACM
16 years 5 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 ...