Model checking intelligent avionics systems for test cases generation using multi-agent systems
Warda Elkholy, Mohamed El-Menshawy, Jamal Bentahar, Mounia Elqortobi, Amine Laarej, Rachida Dssouli
Topics & Concepts
Computer scienceModel checkingAvionicsModel-based testingPredicate abstractionScalabilityComponent (thermodynamics)Test caseDistributed computingTheoretical computer scienceMachine learningDatabasePhysicsMaterials scienceComposite materialThermodynamicsRegression analysisFormal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques