Kabir, Momna. <br/><br/>
An ordered binary decision diagram based optimal test generation technique through requirements modeling /  [Thesis or Dissertation] 
Momna Kabir. 
 - Islamabad :  COMSATS University Islamabad,  2019. 
 - xv, 41 pages :   ;  30 cm 
<br/><br/>
<br/><br/><label>Subjects--Personal Names: </label> Supervisor,  
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>004  / KAB-A