Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 10 (Search time: 0.001 seconds).
  • previous
  • 1
  • next
Item hits:
First PublishedTitleAuthor(s)Type
4-Aug-2017Sound conformance testing for cyber-physical systems: Theory and implementationAraujo, Hugo; Carvalhoa, Gustavo; Mohaqeqi, Morteza; Mousavi, Mohammad Reza; Sampaio, AugustoJournal Article
13-Apr-2017Reducing the Concretization Effort in FSM-Based Testing of Software Product LinesFragal, Vanderson Hafemann; Simao, Adenilso; Endo, André Takeshi; Mousavi, Mohammad RezaConference Paper
5-Jun-2016Towards an approximate conformance relation for hybrid I/O automataMohaqeqi, Morteza; Mousavi, Mohammad RezaConference Paper
26-Aug-2016(De-)composing causality in labeled transition systemsCaltais, Georgiana; Leue, Stefan; Mousavi, Mohammad RezaJournal Article
29-Sep-2016Input–output conformance testing for software product linesBeohar, Harsh; Mousavi, Mohammad RezaJournal Article
5-Nov-2015Product line process theoryGhassemi, Fatemeh; Mousavi, Mohammad RezaJournal Article
7-Sep-2018Basic Behavioral Models for Software Product Lines: RevisitedVarshosaz, Mahsa; Beohar, Harsh; Mousavi, Mohammad RezaDesign
19-Mar-2019Modal Transition System Encoding of Featured Transition SystemsVarshosaz, Mahsa; Luthmann, Lars; Mohr, Paul; Lochau, Malte; Mousavi, Mohammad RezaJournal Article
4-May-2018Extending HSI test generation method for software product linesFragal, Vanderson Hafemann; Simao, Adenilso; Mousavi, Mohammad Reza; Turker, Uraz CengizJournal Article
11-Jan-2019Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systemsVarshosaz, Mahsa; Mousavi, Mohammad RezaConference Paper