Proceedings Ninth Workshop on Model-Based Testing

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Proceedings 1 st Workshop on Model - based Testing in Practice

Model-driven construction of system level tests should involve domain experts. Our Model-driven Test Case Construction (MTCC) approach employs feature models and protocol state machines to represent systems under test (SUT) as well as the actions and assertions used to execute a SUT. An editor is instantiated from models of SUTs and actions and assertions for the SUT. This editor supports the c...

متن کامل

The Proceedings of the Ninth International Research Workshop on Advances and Innovations in Software Testing

Nowadays, software testing is becoming more critical to ensure that software will function properly in the production environment. Consequently, the effort, time, and fund invested on software testing activities increase significantly. As such, managers have to allocate the limited resources of an organization to those critical test cases rather than the exhausted set of test cases. This paper ...

متن کامل

Proceedings of the Ninth Workshop on Text Mining

Human-generated, typically unstructured, content has exploded due to the popularity and availability of Internet-based technologies: social networking sites, blogs and microblogs, shared documents, and ever increasing reliance on email, instant messaging, and SMS. These represent treasure troves of potentially useful data to reveal patterns and trends, to understand how people foster relationsh...

متن کامل

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2014

ISSN: 2075-2180

DOI: 10.4204/eptcs.141.0