6 search results - page 2 / 2 » Efficiency and Braess' Paradox under pricing in general netw... |
AMOST
2007
ACM
13 years 10 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...