247 search results - page 50 / 50 » Automatic Test Data Generation Using Constraint Solving Tech... |
TFM
2009
Springer
14 years 3 days ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
FASE
2010
Springer
14 years 10 days ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...