Systematic Testing of Protocol Robustness: Case Studies on Mobile IP and MARS. - Shamim Begum; Meeta Sharma; Ahmed Helmy; Sandeep Gupta 001 (LCN, 2000)

Performance Analysis of Wireless MAC Protocols Using a Search Based Framework. - Shamim Begum; Sandeep Gupta 001; Ahmed Helmy (MASCOTS, 2007)

Modeling and test generation for worst-case performance evaluation of MAC protocols for wireless ad hoc networks. - Shamim Begum; Ahmed Helmy; Sandeep Gupta 001 (MASCOTS, 2009)

Modeling the interactions between MAC and higher layer: A systematic approach to generate high-level scenarios from MAC-layer scenarios. - Shamim Begum; Ahmed Helmy; Sandeep Gupta 001 (ACM Trans. Model. Comput. Simul., 2010)