68 search results - page 3 / 14 » SeDiTeC - Testing Based on Sequence Diagrams |
VISSOFT
2005
IEEE
14 years 5 days ago
2005
IEEE
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
IWPC
2009
IEEE
14 years 1 months ago
2009
IEEE
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...
CLIMA
2004
13 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
ISORC
1999
IEEE
13 years 11 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
COMPSAC
2007
IEEE
14 years 28 days ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...