WASET
	@article{(Open Science Index):https://publications.waset.org/pdf/9999959,
	  title     = {A New Approach for Assertions Processing during Assertion-Based Software Testing},
	  author    = {Ali M. Alakeel},
	  country	= {},
	  institution	= {},
	  abstract     = {Assertion-Based software testing has been shown to
be a promising tool for generating test cases that reveal program
faults. Because the number of assertions may be very large for
industry-size programs, one of the main concerns to the applicability
of assertion-based testing is the amount of search time required to
explore a large number of assertions. This paper presents a new
approach for assertions exploration during the process of Assertion-
Based software testing. Our initial exterminations with the proposed
approach show that the performance of Assertion-Based testing may
be improved, therefore, making this approach more efficient when
applied on programs with large number of assertions.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {8},
	  number    = {12},
	  year      = {2014},
	  pages     = {2166 - 2169},
	  ee        = {https://publications.waset.org/pdf/9999959},
	  url   	= {https://publications.waset.org/vol/96},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 96, 2014},
	}