Treffer 1 - 17 von 17 für Suche 'Mariam Lahami', Suchdauer: 2,45s Treffer weiter einschränken
  1. 1
    A survey on runtime testing of dynamically adaptable and distributed systems

    A survey on runtime testing of dynamically adaptable and distributed systems von Lahami, Mariam, Krichen, Moez

    Veröffentlicht in Software quality journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review

    Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review von Ben Fekih, Rim, Lahami, Mariam, Bradai, Salma, Jmaiel, Mohamed

    Veröffentlicht in IEEE access

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A systematic literature review on dynamic testing of blockchain oriented software

    A systematic literature review on dynamic testing of blockchain oriented software von Lahami, Mariam, Jmal Maalej, Afef, Krichen, Moez

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Safe and efficient runtime testing framework applied in dynamic and distributed systems

    Safe and efficient runtime testing framework applied in dynamic and distributed systems von Lahami, Mariam, Krichen, Moez, Jmaiel, Mohamed

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    ASSESSING THE QUALITY OF MICROSERVICE AND MONOLITHIC-BASED ARCHITECTURES: A SYSTEMATIC LITERATURE REVIEW

    ASSESSING THE QUALITY OF MICROSERVICE AND MONOLITHIC-BASED ARCHITECTURES: A SYSTEMATIC LITERATURE REVIEW von Saad Hussein, Mariam Lahami, Mouna Torjmen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    ASSESSING THE QUALITY OF MICROSERVICE AND MONOLITHIC-BASED ARCHITECTURES: A SYSTEMATIC LITERATURE REVIEW

    ASSESSING THE QUALITY OF MICROSERVICE AND MONOLITHIC-BASED ARCHITECTURES: A SYSTEMATIC LITERATURE REVIEW von Saad Hussein, Mariam Lahami, Mouna Torjmen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts

    Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts von Hammami, Mohamed Amin, Lahami, Mariam


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

    Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings von Nielsen, Brian, Weise, Carsten

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems

    Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems von Lahami, Mariam, Krichen, Moez


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    White-Box Mutation Testing of Smart Contracts: A Quick Review

    White-Box Mutation Testing of Smart Contracts: A Quick Review von Jmal Maâlej, Afef, Lahami, Mariam


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts

    Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts von Hammami, Mohamed Amin, Lahami, Mariam, Maâlej, Afef Jmal


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems

    Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems von Lahami, Mariam, Fakhfakh, Fairouz, Krichen, Moez, Jmaiel, Mohamed


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

    Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations von Lahami, Mariam, Krichen, Moez, Barhoumi, Hajer, Jmaiel, Mohamed


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems

    Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems von Lahami, Mariam, Krichen, Moez, Bouchakwa, Mariam, Jmaiel, Mohamed


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities

    Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities von Krichen, Moez, Lahami, Mariam


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Security Testing of Internet of Things for Smart City Applications: A Formal Approach

    Security Testing of Internet of Things for Smart City Applications: A Formal Approach von Krichen, Moez, Lahami, Mariam, Cheikhrouhou, Omar, Alroobaea, Roobaea, Maâlej, Afef Jmal


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    A generic process to build reliable distributed software components from early to late stages of software development

    A generic process to build reliable distributed software components from early to late stages of software development von Lahami, M, Krichen, M, Idani, Akram, Jmaiel, Mohamed

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: