--- abstract: 'Event-B is a formalism that is used in modeling and proving the consistency of complex systems. The method has been successfully used in the development of several complex real-life applications. For complementing the theorem-proving and model-checking tools developed for Event-B models, test suite generation methods have been recently introduced as research theme. In order to optimize the large test suites produced by the existing approaches, in this paper the test suite optimization problem is introduced for Event-B models. However, there exist many optimization criteria in real-life testing problems. Given that, six specifically multi-objective test suite optimization problems are defined. Two modern Multi-Objective Evolutionary Algorithms are used for solving them: NSGA-II and SPEA-2. The experiments have been conducted using five test suites generated from two industrial inspired Event-B models (five different machines).' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ionut.dinca@upit.ro copyright_holders: [] corp_creators: [] creators_id: - ionut.dinca@upit.ro creators_name: - family: Dinca given: Ionut honourific: '' lineage: '' data_type: ~ date: 2011-11 date_type: published datestamp: 2011-10-14 10:52:01 department: ~ dir: disk0/00/00/03/49 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 349 event_dates: 11-14 November 2011 event_location: Malaysia event_title: "ICIEIS'11, Springer CCIS Series vol. 251 " event_type: conference exhibitors_id: [] exhibitors_name: [] fileinfo: application/pdf;http://deploy-eprints.ecs.soton.ac.uk/349/13/multiobj_testop.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: ~ item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'testing, test suite optimisation, multi-objective optimisation' lastmod: 2012-03-15 12:37:06 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: Springer num_pieces: ~ number: ~ official_url: http://dx.doi.org/10.1007/978-3-642-25327-0_47 output_media: ~ pagerange: 551-565 pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: paper producers_id: [] producers_name: [] projects: - DEPLOY publication: ~ publisher: ~ refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 28 series: ~ skill_areas: [] source: ~ status_changed: 2011-10-14 10:52:01 subjects: - deploy_tooldev_other succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Multi-Objective Test Suite Optimization for Event-B Models type: conference_item userid: 263 volume: ~