{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:39Z","timestamp":1750307019946,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,4,22]],"date-time":"2012-04-22T00:00:00Z","timestamp":1335052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,4,22]]},"DOI":"10.1145\/2188286.2188345","type":"proceedings-article","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T18:41:27Z","timestamp":1335292887000},"page":"311-322","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Capturing performance assumptions using stochastic performance logic"],"prefix":"10.1145","author":[{"given":"Lubom\u00edr","family":"Bulej","sequence":"first","affiliation":[{"name":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"additional","affiliation":[{"name":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaroslav","family":"Keznikl","sequence":"additional","affiliation":[{"name":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alena","family":"Koubkov\u00e1","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrej","family":"Podzimek","sequence":"additional","affiliation":[{"name":"Charles University & Academy of Sciences of the Czech Republic, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"T\u016fma","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"K. Beck Test Driven Development: By Example. 2002.   K. Beck Test Driven Development: By Example. 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_3_1","unstructured":"P. Tahchiev F. Leme V. Massol and G. Gregory JUnit in Action 2nd Edition. 2010.   P. Tahchiev F. Leme V. Massol and G. Gregory JUnit in Action 2nd Edition. 2010."},{"key":"e_1_3_2_1_4_1","unstructured":"Google \"Googletest.\" http:\/\/code.google.com\/p\/googletest\/.  Google \"Googletest.\" http:\/\/code.google.com\/p\/googletest\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/367845.367996"},{"key":"e_1_3_2_1_6_1","unstructured":"E. Cohen W. Schulte and S. Tobies \"A Practical Verification Methodology for Concurrent Programs \" 2009.  E. Cohen W. Schulte and S. Tobies \"A Practical Verification Methodology for Concurrent Programs \" 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11777830_5"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190095.1190101"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2004.10.013"},{"key":"e_1_3_2_1_10_1","unstructured":"H. P. Barendregt The Lambda Calculus Its Syntax and Semantics. North-Holland Amsterdam 1984.  H. P. Barendregt The Lambda Calculus Its Syntax and Semantics. North-Holland Amsterdam 1984."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"B. L. Welch \"The Generalization of \"Student's Problem when Several Different Population Variances are Involved \" Biometrika vol. 34 1947.  B. L. Welch \"The Generalization of \"Student's Problem when Several Different Population Variances are Involved \" Biometrika vol. 34 1947.","DOI":"10.2307\/2332510"},{"volume-title":"Springer Texts in Statistics","year":"2003","author":"Wasserman L.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11777830_5"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"C.\n       \n      Barrett D.\n       \n      Dill and \n      \n      \n      A.\n       \n      Stump \"\n  Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT \" in Computer Aided Verification vol. \n  2404\n   of \n  LNCS Springer 2002\n  .   C. Barrett D. Dill and A. Stump \"Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT \" in Computer Aided Verification vol. 2404 of LNCS Springer 2002.","DOI":"10.1007\/3-540-45657-0_18"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"L.\n       \n      de Moura\n     and \n      \n      \n      N.\n       \n      Bjorner \"\n  Z3: An Efficient SMT Solver \" in Tools and Algorithms for the Construction and Analysis of Systems vol. \n  4963\n   of \n  LNCS Springer 2008\n  .   L. de Moura and N. Bjorner \"Z3: An Efficient SMT Solver \" in Tools and Algorithms for the Construction and Analysis of Systems vol. 4963 of LNCS Springer 2008.","DOI":"10.1007\/978-3-540-78800-3_24"},{"journal-title":"\"Translating Pseudo-boolean Constraints into SAT,\" J. on Satisfiability, Boolean Modeling and Computation","year":"2006","author":"E'en N.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/173668.168630"},{"volume-title":"USENIX","year":"2006","author":"Reynolds P.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/762761.762809"},{"volume-title":"USENIX","year":"2008","author":"Liu X.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2009.24"},{"key":"e_1_3_2_1_23_1","unstructured":"H.\n       \n      Du R.\n       \n      Gan K.\n       \n      Liu Z.\n       \n      Zhang and \n      \n      \n      D.\n       \n      Booy \"\n  Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems \" in Research and Practical Issues of Enterprise Information Systems II vol. \n  255\n   of \n  IFIP Springer 2008\n  .  H. Du R. Gan K. Liu Z. Zhang and D. Booy \"Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems \" in Research and Practical Issues of Enterprise Information Systems II vol. 255 of IFIP Springer 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Distefano D.\n       \n      Paci A.\n       \n      Puliafito and \n      \n      \n      M.\n       \n      Scarpa \"\n  UML Design and Software Performance Modeling \" in Computer and Information Sciences - ISCIS\n   \n  2004 vol. \n  3280\n   of \n  LNCS Springer 2004.  S. Distefano D. Paci A. Puliafito and M. Scarpa \"UML Design and Software Performance Modeling \" in Computer and Information Sciences - ISCIS 2004 vol. 3280 of LNCS Springer 2004.","DOI":"10.1007\/978-3-540-30182-0_57"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217016"},{"key":"e_1_3_2_1_26_1","unstructured":"M. A.\n       \n      Isa\n     and \n      \n      \n      D. N. A.\n       \n      Jawawi \"\n      \n      \n      Comparative Evaluation\n       of \n      Performance Assessment\n     and \n      \n      \n      Modeling Method\n       for \n      Software Architecture \" in \n      Software\n       \n      Engineering\n     and \n      \n      \n      Computer\n       \n      Systems vol. \n  181\n   of \n  CCIS Springer 2011\n  .  M. A. Isa and D. N. A. Jawawi \"Comparative Evaluation of Performance Assessment and Modeling Method for Software Architecture \" in Software Engineering and Computer Systems vol. 181 of CCIS Springer 2011."}],"event":{"name":"ICPE'12: Third Joint WOSP\/SIPEW International Conference on Performance Engineering","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering","SPEC SPEC Research Group"],"location":"Boston Massachusetts USA","acronym":"ICPE'12"},"container-title":["Proceedings of the 3rd ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2188286.2188345","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2188286.2188345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:11Z","timestamp":1750236551000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2188286.2188345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,22]]},"references-count":26,"alternative-id":["10.1145\/2188286.2188345","10.1145\/2188286"],"URL":"https:\/\/doi.org\/10.1145\/2188286.2188345","relation":{},"subject":[],"published":{"date-parts":[[2012,4,22]]},"assertion":[{"value":"2012-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}