Marwa Shousha

Stress Testing for Real-Time Systems Using Genetic Algorithms

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

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.

Accurate and Efficient Estimation of Logic Circuits Reliability Bounds

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

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

L. Briand, Y. Labiche, Marwa Shousha, 2012, IEEE Transactions on Software Engineering.

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/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms

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