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

QR Code

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...

Full description

Bibliographic Details
Main Author:	Aneesa Ali, Ali Saeed
Format:	Thesis
Published:	2017
Subjects:	QA76 Computer software
Online Access:	http://studentsrepo.um.edu.my/8134/ http://studentsrepo.um.edu.my/8134/2/All.pdf http://studentsrepo.um.edu.my/8134/6/aneesa.pdf

Similar Items

Scouring effect of river bed from the flow over pipe using CFD / Abbod Ali Mohammed Saeed
by: Abbod Ali, Mohammed Saeed
Published: (2015)

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
by: Ali, Mohamed Hassan Saeed
Published: (2009)

Design and development of automation system for (clothes folding machine) / Bakr Saeed Riziq Daraghmeh
by: Bakr Saeed Riziq , Daraghmeh
Published: (2019)

Mapping from OCL/UML metamodel to PVS metamodel
by: L.A., Rahim
Published: (2008)

Kenderaan kereta kabel untuk perlancongan / Fadzilah Mohd Ali@Ali Razuan
by: Mohd Ali@Ali Razuan, Fadzilah
Published: (2005)

Preparation, characterization, and photocatalytic properties of Pt/BiOCl nanoplates
by: Yu, C., et al.
Published: (2013)

Facile synthesis and characterizations of polypyrrole/BiOCl hybrid composites
by: Mohd Tarmizi, Emma Ziezie, et al.
Published: (2017)

Development of non-enzymatic glucose biosensor based on conducting polymer nanocomposite films fabricated by electrochemical technique / Ali Mohamad Ali Abdul Amir
by: Ali Mohamad , Ali Abdul Amir
Published: (2017)

Harmony search based test list generator for software product line with constraints support
by: Al-Sewari, Abdul Rahman Ahmed Mohammed
Published: (2018)

Computational fluid dynamic analysis on minichannel electronic cooling device / Izzuddin Ali Sidek Ali
by: Sidek Ali, Izzuddin Ali
Published: (2010)

The remedy of injunction / Amirah Ali
by: Ali, Amirah
Published: (1985)

Developing fire detection system for chemical laboratories / Saeed Barzabadi Farahani
by: Saeed, Barzabadi Farahani
Published: (2014)

Penang's economy and the problems of manufacturing industries state / Mohammad Allauddin Md. Ali
by: Mohammad Allauddin , Md. Ali
Published: (1970)

Software product line test list generation based on harmony search algorithm with constraints support
by: Alsewari, Abdulrahman A., et al.
Published: (2019)

Electromagnetic properties of Portland cement concrete using microwave nondestructive testing techniques / Hashem Mohd Ali Al-Mattarneh
by: Mohd Ali Al-Mattarneh, Hashem
Published: (2000)

Peygamber İsmi Muhammed Ali (Name of the Prophet, Muhammed Ali)
by: Kayadibi, Saim
Published: (2016)

Sistem pakar dietari / Suliana Ali
by: Suliana, Ali
Published: (2002)

Effect of discharge current and electrode size on material removal rate and wear ratio in electrical discharge machining / Ahsan Ali Khan, Mohammad Yeakub Ali and Md. Mohafizul Haque
by: Khan, Ahsan Ali, et al.
Published: (2010)

Blind signature / Musfirah Mohd Ali
by: Musfirah, Mohd Ali
Published: (2005)

Somalia as a failed state: Internal and external dynamics / Hassan Sheikh Ali Nur
by: Hassan , Sheikh Ali Nur
Published: (2016)

Syair kenangan karya Muda Omar `Ali Saifuddien : satu analisis / oleh Hajah Rayah Md. Ali.
by: Md. Ali, Rayah
Published: (1995)

A study on the non-law students perception towards law education acquisition / Jalilah Mohd Ali and Shamina Ali
by: Mohd Ali, Jalilah, et al.
Published: (2009)

Ali Smith and Ovid
by: Ranger, Holly
Published: (2017)

Politeness in requests to supervisors in emails / Ali Hallajian
by: Hallajian, Ali
Published: (2014)

Effect of palm oil based microcrystalline cellulose on properties of acrylic denture base resins / Amira Ali Abdel Rahaman Ali
by: Amira Ali, Abdel Rahaman Ali
Published: (2017)

Generating t-way Test Suite in the Presence of Constraints
by: Al-Sewari, Abdul Rahman Ahmed Mohammed, et al.
Published: (2014)

Relationship between participation in in-service training program and academic competencies among sports science university lecturers / Ali Ibrahim Ali Dawo
by: Ali Dawo, Ali Ibrahim
Published: (2015)

Relationship between participation in in-service training program and academic competences among sport science university lectures / Ali Ibrahim Ali Dawo
by: Ali Dawo, Ali Ibrahim
Published: (2015)

A study on the intention to purchase Halal cosmetics product among Generation-Y / Nurlyiana Mohd Ali
by: Mohd Ali, Nurlyiana
Published: (2016)

Hazards identification for safety and risk evaluation of hydroelectric dam power generation plant / Ali Mohammad Saedi
by: Saedi, Ali Mohammad
Published: (2013)

Clinical waste management in the northern states of Peninsular Malaysia, Sabah and Sarawak / Abdul Hai Akbar Ali.
by: Ali, Abdul Hai Akbar
Published: (2000)

Thermal ramping technique : a facile nanowires synthesis technique for gas sensing applications / Zainal Abidin bin Ali
by: Ali, Zainal Abidin
Published: (2012)

Morphosemantic and syntactic analysis of verbs in Sindhi / Zahid Ali
by: Zahid, Ali
Published: (2016)

An optimal machine maintenance problem with probabilistic state constraints
by: Sun, Y., et al.
Published: (2014)

Marketing Malaysia to international tourists / Mohammad Saeed, Bharath M. Josiam and Ismadi Ismail
by: Saeed, Mohammad, et al.
Published: (2000)

Chemical constituents of Kalanchoe pinnata / Ishak Zakaria @ Ali
by: Zakaria @ Ali, Ishak
Published: (2008)

Facilities management of public hall / Mohd Hamidi Ali
by: Ali, Mohd Hamidi
Published: (2009)

Sesat kasihkan Saidina Ali?
by: Abdul Kadir Al-Jarumi, Mohammad Nidzam
Published: (2019)

Propaganda techniques: A discourse analysis of Resalat and Etemad-E Melli editorials / Seyed Ali Javadi
by: Seyed Ali, Javadi
Published: (2017)

Malaysian model of entrepreneurship development for its indigenous people / Mohammad Saeed and Kamal Kishore Jain
by: Saeed, Mohammad, et al.
Published: (2000)