979 search results - page 52 / 196 » Automated Environment Generation for Software Model Checking |
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
IEAAIE
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...