Marwa Shousha

Stress Testing for Real-Time Systems Using Genetic Algorithms

Lionel C. Briand, Yvan Labiche, Marwa Shousha, 2003 .

Stress testing real-time systems with genetic algorithms

Lionel C. Briand, Yvan Labiche, Marwa Shousha, 2005, GECCO '05.

Performance Stress Testing of Real-Time Systems Using Genetic Algorithms

Yvan Labiche, Marwa Shousha, L. C. Briand, 2004 .

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems

Lionel C. Briand, Yvan Labiche, Marwa Shousha, 2006, Genetic Programming and Evolvable Machines.

A uml/marte model analysis approach for detection of concurrency faults

Marwa Shousha, 2011 .

Accurate and Efficient Estimation of Logic Circuits Reliability Bounds

Walid Ibrahim, John W. Chinneck, Marwa Shousha, 2015, IEEE Transactions on Computers.

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms

Lionel C. Briand, Yvan Labiche, Marwa Shousha, 2008, MoDELS.

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems

Lionel C. Briand, Yvan Labiche, Marwa Shousha, 2009, MoDELS.

A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems

Lionel C. Briand, Yvan Labiche, Marwa Shousha, 2012, IEEE Transactions on Software Engineering.