@incollection{,
	
					
					
					83E2409B6B9859B58A448D00690ABB84
				,
	author={{InaPapadhopulli} and {ElindaMece} and {Polytechnic University of Tirana}},
	journal={{Global Journal of Computer Science and Technology}},
	journal={{GJCST}}0975-41720975-435010.34257/gjcst,
	address={Cambridge, United States},
	publisher={Global Journals Organisation}162515
}

@incollection{b0,
	
	
		,
	title={{A simple and practical approach to unit testing: The JML and JUnit way}}
		01-12
	
	
		,
	booktitle={{The Economic Impacts of Inadequate Infrastructure for Software Testing}}
				
			,
	year={Nov. 2001}
		
		
			NIST (National Institute of Standards and Technology ; Department of Computer Science, Iowa State University
		
	
	,
	note={Technical Report}

}

@incollection{b1,
	
	
		,
	title={{Symbolic Execution for Software Testing: Three Decades Later}}
		,
	author={{
			CCadar
		} and {
			KSen
		}}
		
	
	
		,
	journal={{Communications of ACM}}
		
			
			,
	year={2013}
		
	

}

@incollection{b2,
	
	
		,
	title={{Feedback-directed Random Test Generation}}
		,
	author={{
			CPacheco
		} and {
			SLahiri
		} and {
			MErnst
		}}
		
		
	
	
		,
	booktitle={{Proceedings of International Conference in Software Engineering (ICSE)}}
				International Conference in Software Engineering (ICSE)
		
			2007
		
	

}

@incollection{b3,
	
	
		,
	title={{EvoSuite at the SBST 2015 Tool Competition}}
		,
	author={{
			GFraser
		} and {
			AArcuri
		}}
		
	
	
		,
	booktitle={{Proceedings of International Conference in Software Engineering (ICSE)}}
				International Conference in Software Engineering (ICSE)
		
			2015
		
	

}

@incollection{b4,
	
	
		,
	title={{Evaluation of AgitarOne}}
		,
	author={{
			TTsuji
		} and {
			AAkinyele
		}}
		
	
	
		,
	booktitle={{Analysis of Software Artifacts Final Project Report}}
				
			,
	year={April 24. 2007}
		
	

}

@incollection{b5,
	
	
		,
	title={{Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study}}
		,
	author={{
			GFraser
		} and {
			PMcminn
		} and {
			AArcuri
		} and {
			MStaats
		}}
		
		
		
	
	
		,
	journal={{ACM Transactions on Software Engineering and Methodology}}
		
			,
	year={2015}
		
	

}

@incollection{b6,
	
	
		,
	title={{Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges}}
		,
	author={{
			SShamshiri
		} and {
			RJust
		} and {
			JRojas
		} and {
			GFraser
		} and {
			PMcminn
		} and {
			AArcuri
		}}
		
		
		
		
		
	
	
		,
	booktitle={{Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)}}
				the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
		
			,
	year={2015}
		
	

}

@incollection{b7,
	
	
		,
	title={{Search-based system testing: high coverage, no false alarms}}
		,
	author={{
			FGross
		} and {
			GFraser
		} and {
			AZeller
		}}
		
		
	
	
		,
	booktitle={{Proceedings of International Symposium on Software Testing and Analysis (ISSTA)}}
				International Symposium on Software Testing and Analysis (ISSTA)
		
			,
	year={2012}
		
	

}

@incollection{b8,
	
	
		,
	title={{Search-based Software Test Data Generation: A Survey}}
		,
	author={{
			PMcminn
		}}
	
	
		,
	booktitle={{Software Testing, Verification and Reliability}}
				
			,
	year={June 2004}
			
		
	

}

@incollection{b9,
	
	
		,
	title={{An empirical investigation into branch coverage for C programs using CUTE and AUSTIN}}
		,
	author={{
			KLakhotia
		} and {
			PMcminnb
		} and {
			MHarman
		}}
		
		
	
	
		,
	journal={{Journal of Systems and Software}}
		
			,
	year={2010}
		
	

}

@book{b10,
	
	
		,
	title={{Evolutionary Testing of Stateful Systems: a Holistic Approach}}
		,
	author={{
			MMirazz
		}}
		
			,
	year={2010}
		
		
			University of Torino
		
	
	,
	note={PhD thesis}

}

@incollection{b11,
	
	
		,
	title={{Mutation-Driven Generation of Unit Tests and Oracles}}
		,
	author={{
			GFraser
		} and {
			AZeller
		}}
		
	
	
		,
	journal={{IEEE Transactions on Software Engineering}}
		
			,
	year={2012}
		
	

}

@book{b12,
	
	
		,
	title={{Search-Based Test Case Generation}}
		,
	author={{
			PTonella
		}}
		
			,
	year={2013}
			,
	publisher={TAROT Testing School Presenetation}
		
	

}

@incollection{b13,
	
	
		,
	title={{Achieving Scalable Mutationbased Generation of Whole Test Suites}}
		,
	author={{
			GFraser
		} and {
			AArcuri
		}}
		
	
	
		,
	booktitle={{Empirical Software Engineering}}
				
			,
	year={2014}
		
	

}

@incollection{b14,
	
	
		,
	title={{Coverage Criteria for Search Based Automatic Unit Testing of Java Programs}}
		,
	author={{
			EPapadhopulli
		} and {
			Meçe
		}}
		
	
	
		,
	journal={{International Journal of Computer Science and Software Engineering}}
		
			4
			10
			,
	year={October 2015}
		
	

}

@incollection{b15,
	
	
		,
	title={{Combining Multiple Coverage Criteria in Search-Based Unit Test Generation}}
		,
	author={{
			JRojas
		} and {
			JCampos1
		} and {
			MVivanti
		} and {
			GFraser
		} and {
			AArcuri
		}}
		
		
		
		
	
	
		,
	booktitle={{Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)}}
				the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE)
		
			,
	year={2011}
			
		
	

}

@incollection{b16,
	
	
		,
	title={{AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems}}
		,
	author={{
			KLakhotia
		} and {
			MHarman
		} and {
			HGross
		}}
		
		
	
	
		,
	booktitle={{International Symposium on SBSE}}
				
			,
	year={2010}
		
	

}

@book{b17,
	
	
		,
	title={{A Search-Based Automated Test-Data Generation Framework For Safety-Critical Software}}
		,
	author={{
			NTracey
		}}
		
			,
	year={2000}
		
		
			University of York
		
	
	,
	note={PhD thesis}

}

@incollection{b18,
	
	
		,
	title={{Evolutionary Test Environment for Automatic Structural Testing}}
		,
	author={{
			JWegener
		} and {
			ABaresel
		} and {
			HSthamer
		}}
		
		
	
	
		,
	booktitle={{Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms}}
				
			,
	year={December 2001}
			43
			
		
	

}

@incollection{b19,
	
	
		,
	title={{It Does Matter How You Normalise the Branch Distance in Search Based Software Testing}}
		,
	author={{
			Arcuri
		}}
	
	
		,
	booktitle={{Third International Conference on Software Testing, Verification and Validation}}
				
			,
	year={2010}
		
	

}

@incollection{b20,
	
	
		,
	title={{Evolutionary Testing of Classes}}
		,
	author={{
			PTonella
		}}
	
	
		,
	booktitle={{Proceedings of International Symposium on Software Testing and Analysis (ISSTA)}}
				International Symposium on Software Testing and Analysis (ISSTA)
		
			2004
		
	

}

@incollection{b21,
	
	
		,
	title={{Precise identification of side-effect-free methods in java}}
		,
	author={{
			Rountev
		}}
	
	
		,
	booktitle={{20th IEEE International Conference on Software Maintenance (ICSM '04)}}
				
			,
	year={2004}
			
		
	

}

@incollection{b22,
	
	
		,
	title={{Purity and side effect analysis for java programs}}
		,
	author={{
			MSalcianu
		} and {
			Rinard
		}}
		
	
	
		,
	booktitle={{Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation}}
				the 6th International Conference on Verification, Model Checking and Abstract Interpretation
		
			,
	year={January 2005}
			
		
	

}

@incollection{b23,
	
	
		,
	title={{Test Data Generation with a Kalman Filter-Based Adaptive Genetic Algorithm}}
		,
	author={{
			LAleti
		} and {
			Grunske
		}}
		
	
	
		,
	journal={{Journal of Systems and Software}}
		
			,
	year={2014}
		
	

}

@incollection{b24,
	
	
		,
	title={{Parameter tuning for configuring and analyzing evolutionary algorithms}}
		,
	author={{
			EEiben
		} and {
			SKSmit
		}}
		
	
	
		,
	journal={{Journal: Swarm and Evolutionary Cmputation}}
		
			
			,
	year={2011}
		
	

}

@book{b25,
	
	
		,
	title={{Description of Class Mutation Mutation Operators for Java}}
		,
	author={{
			YMa
		} and {
			JOuffut
		}}
		
		
			,
	year={August 2014}
		
	

}

@incollection{b26,
	
	
		,
	title={{MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs}}
		,
	author={{
			DLe
		} and {
			MAlipour
		} and {
			RGopinath
		} and {
			AGroce
		}}
		
		
		
	
	
		,
	booktitle={{Proc. of the International Symposium on Software Testing and Analysis}}
				of the International Symposium on Software Testing and Analysis
		
			,
	year={2014}
		
	

}

@incollection{b27,
	
	
		,
	title={{Handling test length bloat}}
		,
	author={{
			GFraser
		} and {
			AArcuri
		}}
		
	
	
		,
	booktitle={{Proceedings of ICST}}
				ICST
		
			,
	year={2013}
		
	

}

@incollection{b28,
	
	
		,
	title={{Mining Object Behaviour with ADABU}}
		,
	author={{
			VDallmeier
		} and {
			CLindig
		} and {
			AVasilowski
		}}
		
		
	
	
		,
	booktitle={{Proceedings of the International Workshop on Dynamic Systems Analysis}}
				the International Workshop on Dynamic Systems Analysis
		
			,
	year={2006}
		
	

}

@incollection{b29,
	
	
		,
	title={{Today's Challenges of Symbolic Execution and Search-Based for Automated Structural Testing}}
		,
	author={{
			NPapadhopulli
		} and {
			Frasheri
		}}
		
	
	
		,
	booktitle={{Proceedings of ICTIC}}
				ICTIC
		
			,
	year={2015}
		
	

}