@techreport{weko_71136_1,
   author	 = "GiuseppeDiGuglielmo and Masahiro,Fujita and Franco,Fummi and Graziano,Pravadelli and Stefano,Soffia",
   title	 = "EFSM-based Weight-oriented Concolic Testing for Embedded Software",
   year 	 = "2010",
   institution	 = "VLSI Design and Education Center, The Tokyo University, Japan／CREST, Japan Science and Technology Agency, VLSI Design and Education Center, The Tokyo University, Japan／CREST, Japan Science and Technology Agency, University of Verona, Italy, University of Verona, Italy, University of Verona, Italy",
   number	 = "4",
   month	 = "nov"
}