bibliografia.bib

%% Bibliographic reference

@article{yang2009survey,
  title={A survey of coverage-based testing tools},
  author={Yang, Qian and Li, J Jenny and Weiss, David M},
  journal={The Computer Journal},
  volume={52},
  number={5},
  pages={589--597},
  year={2009},
  publisher={OUP}
}

@article{pargas1999test,
  title={Test-data generation using genetic algorithms},
  author={Pargas, Roy P and Harrold, Mary Jean and Peck, Robert R},
  journal={Software Testing Verification and Reliability},
  volume={9},
  number={4},
  pages={263--282},
  year={1999},
  publisher={Chichester, Sussex, England: J. Wiley, c1992-}
}

@article{rodrigues2018using,
  title={Using Genetic Algorithms in Test Data Generation: A Critical Systematic Mapping},
  author={Rodrigues, Davi Silva and Delamaro, M{\'a}rcio Eduardo and Corr{\^e}a, Cl{\'e}ber Gimenez and Nunes, F{\'a}tima LS},
  journal={ACM Computing Surveys (CSUR)},
  volume={51},
  number={2},
  pages={41},
  year={2018},
  publisher={ACM}
}

@incollection{blum2008swarm,
  title={Swarm intelligence in optimization},
  author={Blum, Christian and Li, Xiaodong},
  booktitle={Swarm Intelligence},
  pages={43--85},
  year={2008},
  publisher={Springer}
}

@inproceedings{alander1998genetic,
  title={Genetic algorithm based software testing},
  author={Alander, Jarmo T and Mantere, Timo and Turunen, Pekka},
  booktitle={Artificial neural nets and genetic algorithms},
  pages={325--328},
  year={1998},
  organization={Springer}
}

@article{khari2017extensive,
  title={An extensive evaluation of search-based software testing: a review},
  author={Khari, Manju and Kumar, Prabhat},
  journal={Soft Computing},
  pages={1--14},
  year={2017},
  publisher={Springer}
}

@article{kirkpatrick1983optimization,
  title={Optimization by simulated annealing},
  author={Kirkpatrick, Scott and Gelatt, C Daniel and Vecchi, Mario P},
  journal={science},
  volume={220},
  number={4598},
  pages={671--680},
  year={1983},
  publisher={American Association for the Advancement of Science}
}.

@incollection{gandomi2013metaheuristic,
  title={Metaheuristic algorithms in modeling and optimization},
  author={Gandomi, Amir Hossein and Yang, Xin-She and Talatahari, Siamak and Alavi, Amir Hossein},
  booktitle={Metaheuristic applications in structures and infrastructures},
  pages={1--24},
  year={2013},
  publisher={Elsevier}
}

@article{mcminn2004search,
  title={Search-based software test data generation: a survey},
  author={McMinn, Phil},
  journal={Software testing, Verification and reliability},
  volume={14},
  number={2},
  pages={105--156},
  year={2004},
  publisher={Wiley Online Library}
}

@article{harman2012search,
  title={Search-based software engineering: Trends, techniques and applications},
  author={Harman, Mark and Mansouri, S Afshin and Zhang, Yuanyuan},
  journal={ACM Computing Surveys (CSUR)},
  volume={45},
  number={1},
  pages={11},
  year={2012},
  publisher={ACM}
}

@inproceedings{harman2015achievements,
  title={Achievements, open problems and challenges for search based software testing},
  author={Harman, Mark and Jia, Yue and Zhang, Yuanyuan},
  booktitle={Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on},
  pages={1--12},
  year={2015},
  organization={IEEE}
}

@incollection{harman2012search2,
  title={Search based software engineering: Techniques, taxonomy, tutorial},
  author={Harman, Mark and McMinn, Phil and De Souza, Jerffeson Teixeira and Yoo, Shin},
  booktitle={Empirical software engineering and verification},
  pages={1--59},
  year={2012},
  publisher={Springer}
}

@article{harman2001search,
  title={Search-based software engineering},
  author={Harman, Mark and Jones, Bryan F},
  journal={Information and software Technology},
  volume={43},
  number={14},
  pages={833--839},
  year={2001},
  publisher={Elsevier}
}

% search-based testing software

@inproceedings{de2011ten,
  title={Ten years of search based software engineering: A bibliometric analysis},
  author={de Freitas, Fabr{\'\i}cio Gomes and de Souza, Jerffeson Teixeira},
  booktitle={International Symposium on Search Based Software Engineering},
  pages={18--32},
  year={2011},
  organization={Springer}
}

@article{harman2009search,
  title={Search based software engineering: A comprehensive analysis and review of trends techniques and applications},
  author={Harman, Mark and Mansouri, S Afshin and Zhang, Yuanyuan},
  journal={Department of Computer Science, King’s College London, Tech. Rep. TR-09-03},
  year={2009}
}

@inproceedings{xanthakis1992application,
  title={Application of genetic algorithms to software testing},
  author={Xanthakis, Spiros and Ellis, C and Skourlas, Christos and Le Gall, A and Katsikas, S and Karapoulios, K},
  booktitle={Proceedings of the 5th International Conference on Software Engineering and Applications},
  pages={625--636},
  year={1992}
}

@article{miller1976automatic,
  title={Automatic generation of floating-point test data},
  author={Miller, Webb and Spooner, David L.},
  journal={IEEE Transactions on Software Engineering},
  number={3},
  pages={223--226},
  year={1976},
  publisher={IEEE}
}

@article{boyer1975select,
  title={SELECT—a formal system for testing and debugging programs by symbolic execution},
  author={Boyer, Robert S and Elspas, Bernard and Levitt, Karl N},
  journal={ACM SigPlan Notices},
  volume={10},
  number={6},
  pages={234--245},
  year={1975},
  publisher={ACM}
}

@techreport{king1969program,
  title={A program verifier.},
  author={King, James C},
  year={1969},
  institution={CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE}
}

% Base

@misc{menabrea1842sketch,
  title={Sketch of the analytical engine invented by Charles Babbage},
  author={Menabrea, Luigi Federico and Lovelace, Ada},
  year={1842}
}

@book{talbi2009metaheuristics,
  title={Metaheuristics: from design to implementation},
  author={Talbi, El-Ghazali},
  volume={74},
  year={2009},
  publisher={John Wiley \& Sons}
}

@article{gendreau2005metaheuristics,
  title={Metaheuristics in combinatorial optimization},
  author={Gendreau, Michel and Potvin, Jean-Yves},
  journal={Annals of Operations Research},
  volume={140},
  number={1},
  pages={189--213},
  year={2005},
  publisher={Springer}
}

@book{combinatorialoptimization1998,
  title={Combinatorial optimization: algorithms and complexity},
  author={Papadimitriou, Christos H and Steiglitz, Kenneth},
  year={1998},
  publisher={Courier Corporation}
}

% Template References

@manual{inmetro2003,
	Author = {INMETRO},
	Title = {Vocabulário internacional de termos fundamentais e gerais de
	metrologia},
	Year = {2013},
	Address = {Rio de Janeiro, Brasil},
	Pages = {75},
	isbn = {85-87090-90-9},
}

@inproceedings{soviero1997,
	Author = {P. A. O. Soviero and L. G. M. Lavagna},
	Title = {A Numerical Model for Thin Airfoils in Unsteady Motion},
	Year = {1997},
	Pages = {332-340},
	Volume = {19},
	Number = {3},
	Booktitle = {Journal of the Brazilian Societyt Mechanical Sciences},	
}

@inproceedings{sparrow1980,
	Author = {E. M. Sparrow},
	Title = {Forced Convection Heat Transfer in a Duct Having Spanwise-Periodic
	Rectangular Protuberances},
	Year = {1980},
	Pages = {149-167},
	Volume = {3},
	Booktitle = {Numerical Heat Transfer},
}

@article{clark1986,
	Author = {J. A. Clark},
	Title = {Private Communication},
	Year = {1986},
	Address = {University of Michigan},
}

@article{arruda2007,
	Author = {M. B. B. Arruda},
	Title = {Como fazer referências: bibliográficas, eletrônicas e demais
	formas de documentos},
	Year = {2007},
	Url = {http://bu.ufsc.br/framerefer.html}
}

@article{coimbra1978,
	Author = {A. L. Coimbra},
	Title = {Lessons of Continuum Mechanics},
	Year = {1978},
	Address = {São Paulo, Brazil},
	Pages = {428},
	Editor = {Edgard Blücher},
}

@inproceedings{bordalo1989,
	Author = {S. N. Bordalo and J. H. Ferziger and S. J. Kline},
	Title = {The Development of Zonal Models for Turbulence},
	Year = {1989},
	Pages = {41-44},
	Booktitle = {Proceedings of the 10th Brazilian Congress of Mechanical
	Engineering}, 
	Volume = {1},	
}

@manual{NBR14724:2011,
	Address = {Rio de Janeiro},
	Date-Added = {2012-12-15 20:34:08 +0000},
	Date-Modified = {2012-12-15 20:35:25 +0000},
	Month = mar,
	Org-Short = {ABNT},
	Organization = {Associa{\c c}\~ao Brasileira de Normas T\'ecnicas},
	Pages = 15,
	Subtitle = {Informa{\c c}\~ao e documenta{\c c}\~ao --- trabalhos acad\^emicos --- apresenta{\c c}\~ao},
	Title = {{NBR} 14724},
	Year = 2011
}

@manual{NBR6034:2000,
	Address = {Rio de Janeiro},
	Org-Short = {ABNT},
	Organization = {Associa{\c c}\~ao Brasileira de Normas T\'ecnicas},
	Subtitle = {Informa{\c c}\~ao e documenta{\c c}\~ao --- Referências},
	Title = {{NBR} 14724},
	Year = 2000
}