{"id":6318,"date":"2026-04-16T09:54:02","date_gmt":"2026-04-16T13:54:02","guid":{"rendered":"https:\/\/carleton.ca\/sce\/?page_id=6318"},"modified":"2026-04-16T10:00:41","modified_gmt":"2026-04-16T14:00:41","slug":"2026-2027-research-project","status":"publish","type":"page","link":"https:\/\/carleton.ca\/sce\/2026-2027-research-project\/","title":{"rendered":"2026 &#8211; 2027 Research Project"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-max  md:space-y-10 cu-prose-first-last\">\n\n        \n                    \n                    \n            \n    <div class=\"cu-wideimage relative flex items-center justify-center mx-auto px-8 overflow-hidden md:px-16 rounded-xl not-prose  my-6 md:my-12 first:mt-0 bg-opacity-50 bg-cover bg-cu-black-50 py-24 md:py-28 lg:py-36 xl:py-48\" style=\"background-image: url(https:\/\/carleton.ca\/sce\/wp-content\/uploads\/sites\/195\/2026\/04\/Red-Black-and-White-Simple-Research-Project-Presentation-768x432.png); background-position: 50% 50%;\">\n\n                    <div class=\"absolute top-0 w-full h-screen\" style=\"background-color:rgba(0,0,0,0.600);\"><\/div>\n        \n        <div class=\"relative z-[2] max-w-4xl w-full flex flex-col items-center gap-2 cu-wideimage-image cu-zero-first-last\">\n            <header class=\"mx-auto mb-6 text-center text-white cu-pageheader cu-component-updated cu-pageheader--center md:mb-12\">\n\n                                    <h1 class=\"cu-prose-first-last font-semibold mb-2 text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] cu-pageheader--center text-center mx-auto after:left-px\">\n                        2026 &#8211; 2027 Research Projects\n                    <\/h1>\n                \n                            <\/header>\n        <\/div>\n\n            <\/div>\n\n    \n\n    <\/div>\n<\/section>\n\n\n\n<h3 id=\"multiple-projects-on-aspects-of-software-verification-and-validation\" class=\"wp-block-heading\">Multiple projects on aspects of Software Verification and Validation<\/h3>\n\n\n\n<p><strong class=\"myprefix-text-bold\">Project: <\/strong>Multiple projects on aspects of Software Verification and Validation<\/p>\n\n\n\n<p><strong class=\"myprefix-text-bold\">Supervisor:<\/strong> Yvan Labiche<\/p>\n\n\n\n<p><strong class=\"myprefix-text-bold\">Website:<\/strong> <a href=\"https:\/\/carleton.ca\/squall\/\">https:\/\/carleton.ca\/squall\/<\/a><\/p>\n\n\n\n<p><strong class=\"myprefix-text-bold\">Student Category:<\/strong> UG \/ MASc \/ M.Eng. \/ Ph.D.<\/p>\n\n\n\n<p><strong class=\"myprefix-text-bold\">Project Description:<\/strong> The Software Quality Engineering laboratory studies various problems in the field of software verification and validation with the aim to provide sufficient empirical information so that engineers can make informed decisions to use such or such software testing technique. Application domains vary greatly with past work in aerospace, medical imaging, telecommunication, and finance. Problems include the semi-automated construction of tests from plain language specifications, solving the oracle problem (how do we know the outcome of a test execution is what we expect), optimizing software testing from finite state machines and extended finite state machines, and studying the impact of structural coverage principles. Solutions rely on proven, theoretical techniques borrowed from computer science and applied mathematics as well as heuristics, meta-heuristics, machine learning, and AI.<\/p>\n\n\n\n<p><strong class=\"myprefix-text-bold\">Pre-requisite:<\/strong> Successful students tend to have background in software engineering, computer science, or computer engineering.<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Multiple projects on aspects of Software Verification and Validation Project: Multiple projects on aspects of Software Verification and Validation Supervisor: Yvan Labiche Website: https:\/\/carleton.ca\/squall\/ Student Category: UG \/ MASc \/ M.Eng. \/ Ph.D. Project Description: The Software Quality Engineering laboratory studies various problems in the field of software verification and validation with the aim to [&hellip;]<\/p>\n","protected":false},"author":501,"featured_media":6315,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[],"class_list":["post-6318","page","type-page","status-publish","has-post-thumbnail","hentry"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/pages\/6318","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/users\/501"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/comments?post=6318"}],"version-history":[{"count":4,"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/pages\/6318\/revisions"}],"predecessor-version":[{"id":6326,"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/pages\/6318\/revisions\/6326"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/media\/6315"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/media?parent=6318"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/sce\/wp-json\/wp\/v2\/cu_page_type?post=6318"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}