{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:19:28Z","timestamp":1730276368486,"version":"3.28.0"},"reference-count":109,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381841","type":"proceedings-article","created":{"date-parts":[[2016,1,15]],"date-time":"2016-01-15T04:50:11Z","timestamp":1452833411000},"page":"484-495","source":"Crossref","is-referenced-by-count":2,"title":["Detecting latent cross-platform API violations"],"prefix":"10.1109","author":[{"given":"Jeff","family":"Rasley","sequence":"first","affiliation":[]},{"given":"Eleni","family":"Gessiou","sequence":"additional","affiliation":[]},{"given":"Tony","family":"Ohmann","sequence":"additional","affiliation":[]},{"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[]},{"given":"Justin","family":"Cappos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989841"},{"year":"0","key":"ref38","article-title":"getmyip fallback to using TCP for Windows Mobile"},{"year":"0","key":"ref33","article-title":"file names not case-sensitive?"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0089"},{"journal-title":"test\/net\/imap","article-title":"errno: ENOTCONN: Socket is not connected","year":"0","key":"ref31"},{"key":"ref30","first-page":"1","article-title":"Checking system rules using system-specific, programmer-written compiler extensions","author":"engler","year":"2000","journal-title":"OSDI"},{"journal-title":"Future repy library reference","year":"0","key":"ref37"},{"article-title":"LWUIT: Write once, run anywhere (mobile) (hopefully)","year":"2008","author":"fruhlinger","key":"ref36"},{"journal-title":"Found an interesting bug in libsoup on Windows","year":"0","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572294"},{"journal-title":"ECMAScript language specification","year":"0","key":"ref28"},{"journal-title":"Developers battle with over 100 different versions of android","year":"0","key":"ref27"},{"journal-title":"Test262 - ECMAScript","year":"0","key":"ref29"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609723"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985797"},{"journal-title":"Chrome developer tools Network panel","year":"0","key":"ref21"},{"year":"0","key":"ref24","article-title":"Confusing error “java.net.SocketException: Invalid argument” for socket disconnection"},{"journal-title":"Closing a socket from another thread doesn't generate IOException","year":"0","key":"ref23"},{"year":"0","key":"ref101","article-title":"Why android upgrades take so long"},{"year":"0","key":"ref26","article-title":"Datagram (UDP) broadcasts fail with “permission denied” on platforms that require SO_BROADCAST to be set first"},{"journal-title":"Web Metrics Size and Number of Resources","year":"0","key":"ref100"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_13"},{"journal-title":"Model-based software testing and analysis with C","year":"2008","author":"jacky","key":"ref50"},{"journal-title":"Java API compliance checker – ISP_RAS","year":"0","key":"ref51"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/32.877845"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.29"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"year":"0","key":"ref52","article-title":"JavaScript split bugs: Fixed!"},{"article-title":"Java: Write-Once, Debug Everywhere?","year":"2008","author":"gosling","key":"ref40"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1236360.1236382"},{"journal-title":"Alexa Top 500 Global Sites","year":"0","key":"ref3"},{"journal-title":"A decade of software model checking with SLAM","year":"2011","author":"ball","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2002.1004368"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/945461.945462"},{"year":"0","key":"ref49","article-title":"On mac \/ bsd sockets returned by accept inherit the parent's fd flags"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"key":"ref9","article-title":"Spying on components: A runtime verification technique","author":"barnett","year":"2001","journal-title":"Workshop on Specification and Verification of Component-Based Systems"},{"journal-title":"Strange behavior for socket timeout","year":"0","key":"ref46"},{"journal-title":"Issue with socket SO_REUSEADDR when a client is connected","year":"0","key":"ref45"},{"journal-title":"Socket timeout can cause file-like readline() method to lose data","year":"0","key":"ref48"},{"year":"0","key":"ref47","article-title":"OSX broken poll testing doesn't work"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"ref42"},{"key":"ref41","article-title":"CDE: Using system call interposition to automatically create portable software packages","author":"guo","year":"2011","journal-title":"USENIX"},{"journal-title":"Internet explorer performance lab reliably measuring browser performance","year":"0","key":"ref44"},{"year":"2001","key":"ref43"},{"year":"0","key":"ref73"},{"journal-title":"Android Compatibility","year":"0","key":"ref72"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568300"},{"year":"0","key":"ref70","article-title":"New – SO_REUSEADDR should also set SO_REUSEPORT on FreeBSD UDP sockets"},{"year":"0","key":"ref76","article-title":"Ticket 426: z_testconcurrentopenconns.py fails on Mac 10.4 (Tiger)"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"year":"0","key":"ref74"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566182"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553582"},{"year":"0","key":"ref79","article-title":"Pr_sockopt_reuseaddr functions differently on windows from on other oses"},{"key":"ref60","article-title":"Cooperative Bug Isolation","volume":"4440","author":"liblit","year":"2007"},{"year":"0","key":"ref62","article-title":"localecompare implementation differs"},{"key":"ref61","first-page":"19","article-title":"WiDS checker: Combating bugs in distributed systems","author":"liu","year":"2007","journal-title":"NSDI"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"journal-title":"Mac and Windows OS file\/folder naming rules","year":"0","key":"ref64"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.26"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317468"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985870"},{"year":"0","key":"ref68","article-title":"ncat broadcast support?"},{"journal-title":"Re listen socket \/ poll block","year":"0","key":"ref2"},{"year":"0","key":"ref69","article-title":"net.listentcp succeeds twice on windows"},{"journal-title":"ab — Apache HTTP server benchmarking tool","year":"0","key":"ref1"},{"key":"ref109","first-page":"115","article-title":"NetCheck: Network diagnoses from blackbox traces","author":"zhuang","year":"2014","journal-title":"NSDI"},{"journal-title":"[Twisted-Python] ENOBUF and Twisted","year":"0","key":"ref95"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007519"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"},{"year":"0","key":"ref93","article-title":"Tcpsocket#readline doesn't raise if the socket is #close'd in another thread"},{"key":"ref106","first-page":"131","article-title":"EXPLODE: A lightweight, general system for finding serious storage system errors","author":"yang","year":"2006","journal-title":"OSDI"},{"year":"0","key":"ref92","article-title":"TCPServer should not use SO_REUSEADDR in Cygwin port"},{"year":"0","key":"ref105","article-title":"ws2_32: getaddrinfo edge cases broken on OS X"},{"journal-title":"Sun Java J2EE – Compatibility & Java Verification","year":"0","key":"ref91"},{"article-title":"Write-Once, Debug Everywhere","year":"2002","author":"wong","key":"ref104"},{"year":"0","key":"ref90","article-title":"Subversion problem with case sensitivity"},{"journal-title":"Winsock programmer's FAQ articles The lame list","year":"0","key":"ref103"},{"year":"0","key":"ref102","article-title":"Windows ntpd should secure UDP 123 with SO_EXCLUSIVEADDRUSE"},{"key":"ref98","first-page":"117","article-title":"Flight data recorder: Monitoring persistent-state interactions to improve systems management","author":"verbowski","year":"2006","journal-title":"OSDI"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451130"},{"journal-title":"UDP error trapping on Cygwin","year":"0","key":"ref96"},{"journal-title":"Using SO_REUSEADDR and SO_EXCLUSIVEADDRUSE","year":"0","key":"ref97"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00041-9"},{"key":"ref11","volume":"6418","author":"barringer","year":"2010","journal-title":"Runtime Verification – First International Conference RV 2010"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"ref13","article-title":"Compliance testing for wrapper-based API migration","author":"bartolomei","year":"2012","journal-title":"ISSTA"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.25"},{"journal-title":"Cannot bind to default port after using connection and restarting","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866332"},{"year":"0","key":"ref82","article-title":"shutdown() of non-connected socket should fail with ENOTCONN"},{"journal-title":"Write Once Run Anywhere the devil is in the details","year":"2006","author":"chanezon","key":"ref17"},{"year":"0","key":"ref81","article-title":"Security: SO_EXCLUSIVEADDRUSE should be enabled when binding to ports on Windows"},{"journal-title":"Write once run anywhere not working for phones","year":"2005","author":"charny","key":"ref18"},{"journal-title":"socket – linux socket interface","year":"0","key":"ref84"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1986024"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_34"},{"year":"0","key":"ref80"},{"journal-title":"strace(1) – Linux man page","year":"0","key":"ref89"},{"year":"0","key":"ref85","article-title":"socket.shutdown documentation: on some platforms, closing one half closes the other half"},{"year":"0","key":"ref86","article-title":"SO_REUSEADDR broken on Windows"},{"year":"0","key":"ref87","article-title":"SO_REUSEADDR doesn't have the same semantics on Windows as on Unix"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.09.040"}],"event":{"name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersbury, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374093\/7381793\/07381841.pdf?arnumber=7381841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T21:19:38Z","timestamp":1490390378000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":109,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381841","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}