2 search results - page 1 / 1 » Traceability in Small Claw-Free Graphs |
ENDM
2002
13 years 4 months ago
2002
We prove that a claw-free, 2-connected graph with fewer than 18 vertices is traceable, and we determine all non-traceable, claw-free, 2-connected graphs with exactly 18 vertices an...
ISSTA
2006
ACM
13 years 10 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...