Software Modeling Laboratory

updated: 05.10.2016

The Software Modeling lab focuses on the definition and investigation of models, modeling languages, and related formal methods that rely on state-of-the-art automated analyses in order to provide software engineers with useful abstractions and powerful tools that address major challenges in the design, construction, execution, and evolution of complex software systems.  Most of our work combines theoretical contributions with prototype tool implementations and evaluations. 


We have recently worked on synthesis of structure and behavior (generating correct-by-construction software from its specification), differencing (semantic comparison between models), testing (comprehension and evolution of combinatorial test designs), and log analysis (inferring models from execution logs).


The lab is supervised by Dr. Shahar Maoz.

Tel Aviv University makes every effort to respect copyright. If you own copyright to the content contained here and / or the use of such content is in your opinion infringing, Contact us as soon as possible >>
Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel
UI/UX Basch_Interactive