User Tools

Site Tools


projects_list

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
projects_list [2018/08/30 22:32]
gwainer
projects_list [2018/08/30 22:39]
gwainer
Line 94: Line 94:
 ---- ----
  
-**Project Title: Tooling infrastructure to compute test diversity in state-based testing+**Project Title: Tooling infrastructure to compute test diversity in state-based testing ​\\
  
 Supervisor:​** Yvan Labiche (yvan.labiche@carleton.ca) Supervisor:​** Yvan Labiche (yvan.labiche@carleton.ca)
Line 105: Line 105:
 ---- ----
  
-**Project Title: Suggest you own idea for the interactive SWall project+**Project Title: Suggest you own idea for the interactive SWall project\\
  
 Supervisor: ** Yvan Labiche (yvan.labiche@carleton.ca) Supervisor: ** Yvan Labiche (yvan.labiche@carleton.ca)
Line 116: Line 116:
 ---- ----
  
-**Project Title: Software interface to Satisfiability Modulo Theory (SMT) solvers+**Project Title: Software interface to Satisfiability Modulo Theory (SMT) solvers\\
  
 Supervisor: ** Yvan Labiche (yvan.labiche@carleton.ca) Supervisor: ** Yvan Labiche (yvan.labiche@carleton.ca)
Line 128: Line 128:
 ---- ----
  
-**Project Title: Studying structural complexity of test code and application code+**Project Title: Studying structural complexity of test code and application code\\
  
 Supervisor: **Yvan Labiche (yvan.labiche@carleton.ca) Supervisor: **Yvan Labiche (yvan.labiche@carleton.ca)
Line 140: Line 140:
  
  
-**Title: Development of real-time embedded systems using a model-based approach** ​Supervision: Professor Gabriel A. Wainer Gabriel.Wainer@sce.carleton.ca+**Title: Development of real-time embedded systems using a model-based approach** ​ 
 + 
 +Supervisor: Professor Gabriel A. Wainer Gabriel.Wainer@sce.carleton.ca
  
  
Line 163: Line 165:
  
  
-**Title: Advanced Visualization for complex simulation models** Supervision:​ Professor Gabriel A. Wainer Gabriel.Wainer@sce.carleton.ca+**Title: Advanced Visualization for complex simulation models** ​ 
 + 
 +Supervision:​ Professor Gabriel A. Wainer Gabriel.Wainer@sce.carleton.ca
  
  
projects_list.txt · Last modified: 2018/10/05 08:24 by gwainer