{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:39:06Z","timestamp":1729669146500,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/smc.2014.6974494","type":"proceedings-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T17:27:18Z","timestamp":1418059638000},"page":"3632-3636","source":"Crossref","is-referenced-by-count":0,"title":["Method sequence generation for multiple object states using dynamic symbolic execution"],"prefix":"10.1109","author":[{"given":"Hiroki","family":"Takamatsu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haruhiko","family":"Sato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Oyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahito","family":"Kurihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"year":"0","author":"structures","key":"ref12"},{"year":"0","author":"quickgraph","key":"ref13"},{"journal-title":"xUnit net Unit testing framework for C# and NET","year":"0","key":"ref14"},{"journal-title":"NUnit","year":"0","key":"ref15"},{"key":"ref16","article-title":"Automated test case generation considering object states in object-oriented programming","author":"takamatsu","year":"2014","journal-title":"Proceedings of the International MultiConference of Engineers and Computer Scientists 2014 (IMECS 2014)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","article-title":"Pexwhite box test generation for. net","volume":"4966","author":"tillmann","year":"2008","journal-title":"Tests and Proofs Ser Lecture Notes in Computer Science"},{"key":"ref6","first-page":"419","article-title":"CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools","volume":"4144","author":"sen","year":"2006","journal-title":"Computer Aided Verification ser Lecture Notes in Computer Science T Ball and R Jones Eds"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"ref7","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Proceedings of the Theory and Practice of Software 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems set TACAS'08\/ETAPS'Berlin Heidelberg Springer-Verlag"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1064978.1065036","article-title":"Dart: Directed automated random testing","volume":"40","author":"godefroid","year":"2005","journal-title":"SIGPLAN Not"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/2076021.2048083","article-title":"Synthesizing method sequences for high-coverage testing","volume":"46","author":"thummalapenta","year":"2011","journal-title":"SIGPLAN Not"},{"key":"ref9","first-page":"119","article-title":"Evolutionary testing of classes SIGSOFT Softw. Eng. Notes","volume":"29","author":"tonella","year":"2004"}],"event":{"name":"2014 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2014,10,5]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2014,10,8]]}},"container-title":["2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6960119\/6973862\/06974494.pdf?arnumber=6974494","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:27:36Z","timestamp":1602674856000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6974494"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/smc.2014.6974494","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}