187 search results - page 9 / 38 » Model Based Testing of Large-scale Software: How Can Simple ... |
121
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
131
Voted
APCCM
2008
15 years 4 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
146
Voted
GRAPHICSINTERFACE
2003
15 years 4 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
144
Voted
TAP
2010
Springer
15 years 17 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
114
Voted
AAAI
2004
15 years 4 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...