Program Correctness Automation Lab




Maya Safieddine, PhD student

Mohamad Noureddine, Masters student

Mohamad Sakr, Masters student

Joan Farjo, Masters student

Farah Hariri, Senior student

Graduating students

Kassem Fawaz

Mohamad Fawaz

Join the team


Specification Construction

Coverage Specifications

Concern Separation for Design For Testing Logic

Deadlock Analysis of Distributed Behavior, Interaction, Port Distributed Computing systems

Program Analysis with Decision and Transformation Algorithms

Synthesis of LTL SERE Formulae

Visualization of Dependency Chains

Property Based Coverage

Automated GUI Testing

Code Repositories

Code of Conduct

start.txt · Last modified: 2015/03/19 09:56 by fadi
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki