{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:51:25Z","timestamp":1791460285444,"version":"4.3.4"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662442012","type":"print"},{"value":"9783662442029","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44202-9_7","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T02:01:13Z","timestamp":1405562473000},"page":"157-181","source":"Crossref","is-referenced-by-count":11,"title":["Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming"],"prefix":"10.1007","author":[{"given":"Joshua","family":"Sunshine","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James D.","family":"Herbsleb","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-22655-7_2","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"N.E. Beckman","year":"2011","unstructured":"Beckman, N.E., Kim, D., Aldrich, J.: An empirical study of object protocols in the wild. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 2\u201326. Springer, Heidelberg (2011)"},{"key":"7_CR2","first-page":"211","volume-title":"Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011","author":"N.E. Beckman","year":"2011","unstructured":"Beckman, N.E., Nori, A.V.: Probabilistic, modular and scalable inference of typestate specifications. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp. 211\u2013221. ACM, New York (2011)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-03013-0_10","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"K. Bierhoff","year":"2009","unstructured":"Bierhoff, K., Beckman, N.E., Aldrich, J.: Practical API protocol checking with access permissions. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 195\u2013219. Springer, Heidelberg (2009)"},{"key":"7_CR4","first-page":"260","volume-title":"Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010","author":"M. Bortolozzo","year":"2010","unstructured":"Bortolozzo, M., Centenaro, M., Focardi, R., Steel, G.: Attacking and fixing PKCS#11 security tokens. In: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, pp. 260\u2013269. ACM, New York (2010)"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1207\/s1532690xci0804_2","volume":"8","author":"P. Chandler","year":"1991","unstructured":"Chandler, P., Sweller, J.: Cognitive load theory and the format of instruction. Cognition and Instruction\u00a08(4), 293\u2013332 (1991)","journal-title":"Cognition and Instruction"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1207\/s15516709cog1302_1","volume":"13","author":"M.T. Chi","year":"1989","unstructured":"Chi, M.T., Bassok, M., Lewis, M.W., Reimann, P., Glaser, R.: Self-explanations: How students study and use examples in learning to solve problems. Cognitive Science\u00a013(2), 145\u2013182 (1989)","journal-title":"Cognitive Science"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1294261.1294265","volume-title":"Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles, SOSP 2007","author":"S. Chong","year":"2007","unstructured":"Chong, S., Liu, J., Myers, A.C., Qi, X., Vikram, K., Zheng, L., Zheng, X.: Secure web applications via automatic partitioning. In: Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles, SOSP 2007, pp. 31\u201344. ACM, New York (2007)"},{"key":"7_CR8","first-page":"381","volume-title":"Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011","author":"G. Caso de","year":"2011","unstructured":"de Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S.: Program abstractions for behaviour validation. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 381\u2013390. ACM, New York (2011)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Dekel, U., Herbsleb, J.D.: Improving API documentation usability with knowledge pushing. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 320\u2013330 (2009)","DOI":"10.1109\/ICSE.2009.5070532"},{"key":"7_CR10","first-page":"220","volume-title":"Proceedings of the 29th international conference on Software Engineering, ICSE 2007","author":"M.B. Dwyer","year":"2007","unstructured":"Dwyer, M.B., Kinneer, A., Elbaum, S.: Adaptive online program analysis. In: Proceedings of the 29th international conference on Software Engineering, ICSE 2007, pp. 220\u2013229. IEEE Computer Society, Washington, DC (2007)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Ellis, B., Stylos, J., Myers, B.: The factory pattern in API design: A usability evaluation. In: Proceedings of the 29th international conference on Software Engineering, ICSE 2007, pp. 302\u2013312 (2007)","DOI":"10.1109\/ICSE.2007.85"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.3102\/01623737004003261","volume":"4","author":"D.M. Fetterman","year":"1982","unstructured":"Fetterman, D.M.: Ibsen\u2019s baths: Reactivity and insensitivity (a misapplication of the treatment-control design in a national evaluation). Educational Evaluation and Policy Analysis\u00a04(3), 261\u2013279 (1982)","journal-title":"Educational Evaluation and Policy Analysis"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/512529.512531","volume-title":"Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, PLDI 2002","author":"J.S. Foster","year":"2002","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, PLDI 2002, pp. 1\u201312. ACM, New York (2002)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/2382196.2382204","volume-title":"Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS 2012","author":"M. Georgiev","year":"2012","unstructured":"Georgiev, M., Iyengar, S., Jana, S., Anubhai, R., Boneh, D., Shmatikov, V.: The most dangerous code in the world: Validating SSL certificates in non-browser software. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS 2012, pp. 38\u201349. ACM, New York (2012)"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"T.R.G. Green","year":"1996","unstructured":"Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: a \u2018cognitive dimensions\u2019 framework. Journal of Visual Languages & Computing\u00a07(2), 131\u2013174 (1996)","journal-title":"Journal of Visual Languages & Computing"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/1869459.1869462","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010","author":"S. Hanenberg","year":"2010","unstructured":"Hanenberg, S.: An experiment about static and dynamic type systems: Doubts about the positive impact of static type systems on development time. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, pp. 22\u201335. ACM, New York (2010)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Hanenberg, S., Kleinschmager, S., Robbes, R., Tanter, \u00c9., Stefik, A.: An empirical study on the impact of static typing on software maintainability. Empirical Software Engineering, 1\u201348 (2013)","DOI":"10.1007\/s10664-013-9289-1"},{"key":"7_CR18","first-page":"237","volume-title":"Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-13","author":"R. Holmes","year":"2005","unstructured":"Holmes, R., Walker, R.J., Murphy, G.C.: Strathcona example recommendation tool. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE-13, pp. 237\u2013240. ACM, New York (2005)"},{"key":"7_CR19","unstructured":"Jaspan, C.N.: Proper Plugin Protocols. PhD thesis, Carnegie Mellon University. Technical Report: CMU-ISR-11-116 (December 2011)"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1145\/235833.236054","volume":"3","author":"B.E. John","year":"1996","unstructured":"John, B.E., Kieras, D.E.: The GOMS family of user interface analysis techniques: Comparison and contrast. ACM Trans. Comput.-Hum. Interact.\u00a03(4), 320\u2013351 (1996)","journal-title":"ACM Trans. Comput.-Hum. Interact."},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science\u00a011(1), 65\u2013100 (1987)","journal-title":"Cognitive Science"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Mayer, C., Hanenberg, S., Robbes, R., Tanter, \u00c9., Stefik, A.: An empirical study of the influence of static type systems on the usability of undocumented software. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 683\u2013702. ACM (2012)","DOI":"10.1145\/2398857.2384666"},{"key":"7_CR23","first-page":"63","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 1989","author":"L.R. Neal","year":"1989","unstructured":"Neal, L.R.: A system for example-based programming. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 1989, pp. 63\u201368. ACM, New York (1989)"},{"issue":"5","key":"7_CR24","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/TSE.2012.63","volume":"39","author":"M.P. Robillard","year":"2013","unstructured":"Robillard, M.P., Bodden, E., Kawrykow, D., Mezini, M., Ratchford, T.: Automated api property inference techniques. IEEE Transactions on Software Engineering\u00a039(5), 613\u2013637 (2013)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR25","volume-title":"Essential of Behavioiural Research: Methods and Data Analysis","author":"R. Rosenthal","year":"2008","unstructured":"Rosenthal, R., Rosnow, R.L.: Essential of Behavioiural Research: Methods and Data Analysis, 3rd edn. McGraw-Hill Higher Education, New York (2008)","edition":"3"},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"7_CR27","unstructured":"Shadish, W.R., Cook, T.D., Campbell, D.T.: Experimental and Quasi-Experimental Designs for Generalized Causal Inference. Wadsworth Cengage Learning (2002)"},{"key":"7_CR28","unstructured":"Somorovsky, J., Mayer, A., Schwenk, J., Kampmann, M., Jensen, M.: On breaking SAML: Be whoever you want to be. In: Proceedings of the 21st USENIX Conference on Security Symposium, Security, vol.\u00a012, p. 21 (2012)"},{"key":"7_CR29","first-page":"97","volume-title":"Proceedings of the 7th Symposium on Dynamic Languages, DLS 2011","author":"A. Stuchlik","year":"2011","unstructured":"Stuchlik, A., Hanenberg, S.: Static vs. dynamic type systems: An empirical study about the relationship between type casts and development time. In: Proceedings of the 7th Symposium on Dynamic Languages, DLS 2011, pp. 97\u2013106. ACM, New York (2011)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1453101.1453117","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 2008\/FSE-16","author":"J. Stylos","year":"2008","unstructured":"Stylos, J., Myers, B.A.: The implications of method placement on API learnability. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 2008\/FSE-16, pp. 105\u2013112. ACM, New York (2008)"},{"key":"7_CR31","unstructured":"Sunshine, J.: Protocol Programmability. PhD thesis, Carnegie Mellon University (December 2013)"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1145\/2048066.2048122","volume-title":"Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2011","author":"J. Sunshine","year":"2011","unstructured":"Sunshine, J., Naden, K., Stork, S., Aldrich, J., Tanter, E.: First-class state change in plaid. In: Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2011, pp. 713\u2013732. ACM, New York (2011)"},{"key":"7_CR33","first-page":"233","volume-title":"Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2010","author":"D.F. Sutherland","year":"2010","unstructured":"Sutherland, D.F., Scherlis, W.L.: Composable thread coloring. In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2010, pp. 233\u2013244. ACM, New York (2010)"},{"issue":"3.4","key":"7_CR34","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1147\/sj.393.0915","volume":"39","author":"B. Ullmer","year":"2000","unstructured":"Ullmer, B., Ishii, H.: Emerging frameworks for tangible user interfaces. IBM Systems Journal\u00a039(3.4), 915\u2013931 (2000)","journal-title":"IBM Systems Journal"},{"issue":"4","key":"7_CR35","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1207\/s15324834basp0304_3","volume":"3","author":"B.J. Walther","year":"1982","unstructured":"Walther, B.J., Ross, A.S.: The effect on behavior of being in a control group. Basic and Applied Social Psychology\u00a03(4), 259\u2013266 (1982)","journal-title":"Basic and Applied Social Psychology"},{"key":"7_CR36","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/566172.566212","volume-title":"Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2002","author":"J. Whaley","year":"2002","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2002, pp. 218\u2013228. ACM, New York (2002)"},{"key":"7_CR37","first-page":"60","volume-title":"Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-first Century Applications, SIGSOFT 2000\/FSE-8","author":"Y. Ye","year":"2000","unstructured":"Ye, Y., Fischer, G., Reeves, B.: Integrating active information delivery and reuse repository systems. In: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-first Century Applications, SIGSOFT 2000\/FSE-8, pp. 60\u201368. ACM, New York (2000)"},{"key":"7_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-03013-0_15","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"H. Zhong","year":"2009","unstructured":"Zhong, H., Xie, T., Zhang, L., Pei, J., Mei, H.: MAPO: Mining and recommending API usage patterns. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 318\u2013343. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2014 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44202-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T09:05:26Z","timestamp":1649667926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44202-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662442012","9783662442029"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44202-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}