26 search results - page 6 / 6 » A Symbolic Model Checker for tccp Programs |
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...