3792 search results - page 554 / 759 » Techniques for Trusted Software Engineering |
210
click to vote
FASE
2005
Springer
16 years 22 days 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...
196
click to vote
FATES
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
172
click to vote
RE
2005
Springer
16 years 20 days ago
2005
Springer
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
210
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
170
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...