7 search results - page 2 / 2 » Test Case Generation for Object-Oriented Imperative Language... |
ERLANG
2004
ACM
13 years 11 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
TFM
2009
Springer
14 years 1 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...