12 search results - page 2 / 3 » Automatic Test Data Synthesis using UML Sequence Diagrams |
GLVLSI
2002
IEEE
13 years 10 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
ECMDAFA
2010
Springer
13 years 10 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
IJIT
2004
13 years 6 months ago
2004
State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
JSS
2008
13 years 4 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...