Sciweavers

15792 search results - page 93 / 3159
» Computational Abstraction Steps
Sort
View
GI
2007
Springer
14 years 1 months ago
Executing Abstract Test Cases
Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
BIRTHDAY
2006
Springer
14 years 28 days ago
Abstract Counterexample-Based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas A. Henzinger, G...
CG
2006
Springer
14 years 28 days ago
Abstracting Knowledge from Annotated Chinese-Chess Game Records
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...