@article{islam14generating,
  author = {Mainul Islam and Christoph Csallner},
	title = {Generating test cases for programs that are coded against 
	interfaces and annotations},
	journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
	year = 2014,
	volume = 23,
	number = 3,
	month = may,
	pages = {21:1--21:38},	
	category = {Testing},
  summary = {Some code can only be invoked and tested with instances of 
	classes that don't yet exist. However state-of-the-art test case 
	generators such as Randoop and Pex do not generate such classes and
	therefore cannot cover such code. This article extends our WODA 2010 
	paper on generating (mock) classes during dynamic symbolic execution. 
	This article adds a survey of third-party applications and extends the 
	approach to generating annotations. Our implementation in Dsc covered 
	code that state-of-the-art tools could not cover.},
	downloads = {
		../papers/islam10dsc+mock-abstract.html earlier WODA 2010 paper}
}

{"_id":"74NtzDWZPQspLkRfk","bibbaseid":"islam-csallner-generatingtestcasesforprogramsthatarecodedagainstinterfacesandannotations-2014","downloads":0,"creationDate":"2017-05-18T00:10:12.872Z","title":"Generating test cases for programs that are coded against interfaces and annotations","author_short":["Islam, M.","Csallner, C."],"year":2014,"bibtype":"article","biburl":"http://ranger.uta.edu/~csallner/papers/csallner.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mainul"],"propositions":[],"lastnames":["Islam"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Csallner"],"suffixes":[]}],"title":"Generating test cases for programs that are coded against interfaces and annotations","journal":"ACM Transactions on Software Engineering and Methodology (TOSEM)","year":"2014","volume":"23","number":"3","month":"May","pages":"21:1--21:38","category":"Testing","summary":"Some code can only be invoked and tested with instances of classes that don't yet exist. However state-of-the-art test case generators such as Randoop and Pex do not generate such classes and therefore cannot cover such code. This article extends our WODA 2010 paper on generating (mock) classes during dynamic symbolic execution. This article adds a survey of third-party applications and extends the approach to generating annotations. Our implementation in Dsc covered code that state-of-the-art tools could not cover.","downloads":0,"bibtex":"@article{islam14generating,\r\n author = {Mainul Islam and Christoph Csallner},\r\n\ttitle = {Generating test cases for programs that are coded against \r\n\tinterfaces and annotations},\r\n\tjournal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},\r\n\tyear = 2014,\r\n\tvolume = 23,\r\n\tnumber = 3,\r\n\tmonth = may,\r\n\tpages = {21:1--21:38},\t\r\n\tcategory = {Testing},\r\n summary = {Some code can only be invoked and tested with instances of \r\n\tclasses that don't yet exist. However state-of-the-art test case \r\n\tgenerators such as Randoop and Pex do not generate such classes and\r\n\ttherefore cannot cover such code. This article extends our WODA 2010 \r\n\tpaper on generating (mock) classes during dynamic symbolic execution. \r\n\tThis article adds a survey of third-party applications and extends the \r\n\tapproach to generating annotations. Our implementation in Dsc covered \r\n\tcode that state-of-the-art tools could not cover.},\r\n\tdownloads = {\r\n\t\t../papers/islam10dsc+mock-abstract.html earlier WODA 2010 paper}\r\n}\r\n\r\n","author_short":["Islam, M.","Csallner, C."],"key":"islam14generating","id":"islam14generating","bibbaseid":"islam-csallner-generatingtestcasesforprogramsthatarecodedagainstinterfacesandannotations-2014","role":"author","urls":{}},"search_terms":["generating","test","cases","programs","coded","against","interfaces","annotations","islam","csallner"],"keywords":[],"authorIDs":[],"dataSources":["bS8bwjSktjpmMpkn5"]}