Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed

Software testing consumes half of the entire software development cost where test case generation is the most cost consuming activity in the whole process. The emergence of automatic test case generation has helped in reducing the cost eventually. Recently, model-based testing (MBT) for automatic...

وصف كامل

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Aneesa Ali, Ali Saeed
التنسيق:	أطروحة
منشور في:	2017
الموضوعات:	QA76 Computer software

مواد مشابهة

Scouring effect of river bed from the flow over pipe using CFD / Abbod Ali Mohammed Saeed
حسب: Abbod Ali, Mohammed Saeed
منشور في: (2015)

Hybrid constraint-based test pattern generation
حسب: Abdullah, Ayub Chin
منشور في: (2013)

al-Nashr li-fawa'id surah al-`Asr lil-Imam Muhammad ibn `Ali al-Shawkani (D 1250H) : dirasah wa tahqiq = al-Nashr li fawa'id surah al-Asr by Imam Muhammad bin Ali bin Muhammad al-Shawkani : text and analysis / Mohamed Hassan Saeed Ali
حسب: Ali, Mohamed Hassan Saeed
منشور في: (2009)

Student's intention to use wikis for Online Collaborative Learning (OCL)
حسب: Syed Salim, Sharifah Masitah
منشور في: (2016)

Design and development of automation system for (clothes folding machine) / Bakr Saeed Riziq Daraghmeh
حسب: Bakr Saeed Riziq , Daraghmeh
منشور في: (2019)

Electromagnetic properties of Portland cement concrete using microwave nondestructive testing techniques / Hashem Mohd Ali Al-Mattarneh
حسب: Mohd Ali Al-Mattarneh, Hashem
منشور في: (2000)

An optimized test case generation technique for enhancing state-sensitivity partitioning
حسب: Sultan, Ammar Mohammed Dawood
منشور في: (2017)

Penang's economy and the problems of manufacturing industries state / Mohammad Allauddin Md. Ali
حسب: Mohammad Allauddin , Md. Ali
منشور في: (1970)

Development of non-enzymatic glucose biosensor based on conducting polymer nanocomposite films fabricated by electrochemical technique / Ali Mohamad Ali Abdul Amir
حسب: Ali Mohamad , Ali Abdul Amir
منشور في: (2017)

Minimizing charging cost of plug-in electric vehicle based on ensemble machine learning techniques and optimal control / Ali Najm Abdulnabi Alkawaz
حسب: Ali Najm , Abdulnabi Alkawaz
منشور في: (2024)

Somalia as a failed state: Internal and external dynamics / Hassan Sheikh Ali Nur
حسب: Hassan , Sheikh Ali Nur
منشور في: (2016)

Computational fluid dynamic analysis on minichannel electronic cooling device / Izzuddin Ali Sidek Ali
حسب: Sidek Ali, Izzuddin Ali
منشور في: (2010)

Branch coverage test case generation using genetic algorithm and harmony search
حسب: Abedinpourshotorban, Hosein
منشور في: (2015)

Hazards identification for safety and risk evaluation of hydroelectric dam power generation plant / Ali Mohammad Saedi
حسب: Saedi, Ali Mohammad
منشور في: (2013)

Sistem pakar dietari / Suliana Ali
حسب: Suliana, Ali
منشور في: (2002)

Clinical waste management in the northern states of Peninsular Malaysia, Sabah and Sarawak / Abdul Hai Akbar Ali.
حسب: Ali, Abdul Hai Akbar
منشور في: (2000)

Developing fire detection system for chemical laboratories / Saeed Barzabadi Farahani
حسب: Saeed, Barzabadi Farahani
منشور في: (2014)

Blind signature / Musfirah Mohd Ali
حسب: Musfirah, Mohd Ali
منشور في: (2005)

Syair kenangan karya Muda Omar `Ali Saifuddien : satu analisis / oleh Hajah Rayah Md. Ali.
حسب: Md. Ali, Rayah
منشور في: (1995)

Application of palm oil clinker as fine aggregate replacement in stone matrix asphalt mix design / Ali Mohammed Ali Babalghaith
حسب: Ali Mohammed , Ali Babalghaith
منشور في: (2021)

The balance sheet identity model : testing ordinary least square assumptions using Malaysian market / Merani Che Ali
حسب: Che Ali, Merani
منشور في: (2002)

Politeness in requests to supervisors in emails / Ali Hallajian
حسب: Hallajian, Ali
منشور في: (2014)

Effect of palm oil based microcrystalline cellulose on properties of acrylic denture base resins / Amira Ali Abdel Rahaman Ali
حسب: Amira Ali, Abdel Rahaman Ali
منشور في: (2017)

Relationship between participation in in-service training program and academic competences among sport science university lectures / Ali Ibrahim Ali Dawo
حسب: Ali Dawo, Ali Ibrahim
منشور في: (2015)

Thermal ramping technique : a facile nanowires synthesis technique for gas sensing applications / Zainal Abidin bin Ali
حسب: Ali, Zainal Abidin
منشور في: (2012)

Propaganda techniques: A discourse analysis of Resalat and Etemad-E Melli editorials / Seyed Ali Javadi
حسب: Seyed Ali, Javadi
منشور في: (2017)

Hybrid search-based and string similarity-based prioritization technique for regression testing
حسب: Kamil Riadz, Muhammad Irsyad
منشور في: (2022)

Morphosemantic and syntactic analysis of verbs in Sindhi / Zahid Ali
حسب: Zahid, Ali
منشور في: (2016)

Gene network inference using biological homogeneity index based-clustering and constraint-based searching
حسب: Zainudin, Suhaila
منشور في: (2010)

Facilities management of public hall / Mohd Hamidi Ali
حسب: Ali, Mohd Hamidi
منشور في: (2009)

Detection of common MNS variants by using PCR-SSP technique / Khaled Abd Elrahman Mumin Ali
حسب: Ali, Khaled Abd Elrahman Mumin
منشور في: (2009)

Privatization and firms performance : evidence from Iran / Ali Aghaei.
حسب: Aghaei, Ali
منشور في: (2011)

The influence of sufism on the development of Persian mosque architecture / Ali Goodarzi
حسب: Goodarzi, Ali
منشور في: (2014)

Antioxidant and cytotoxicity activities of veitchia merrillii fruits / Ali Vafaei
حسب: Vafaei, Ali
منشور في: (2013)

Geometric aspects of riemannian submanifolds and their warped products / Akram Ali
حسب: Akram, Ali
منشور في: (2017)

Analisis suara: Rekabentuk penjana kod unik / Aslizawani Ali
حسب: Aslizawani, Ali
منشور في: (2004)

Online nota kuliah / Shah Rizal Othman Ali
حسب: Shah Rizal, Othman Ali
منشور في: (2003)

A study and comparison of bioimpedance parameters during foot massage reflexology using aroma oil / Saeed Ahmed
حسب: Saeed, Ahmed
منشور في: (2012)

Development of top key performance indicators for enhancing hse commitment in selected companies / Torabi Mohammad Saeed
حسب: Torabi, Mohammad Saeed
منشور في: (2016)

Translation techniques of Islamic finance and economic terms in Arabic-English dictionaries / Antar Fuad Ali Al-Harazi
حسب: Antar Fuad , Ali Al-Harazi
منشور في: (2023)