{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T12:51:56Z","timestamp":1746190316966,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsm.2002.1167755","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"84-92","source":"Crossref","is-referenced-by-count":8,"title":["Two controlled experiments concerning the usefulness of assertions as a means for programming"],"prefix":"10.1109","author":[{"given":"M.M.","family":"Muller","sequence":"first","affiliation":[]},{"given":"R.","family":"Typke","sequence":"additional","affiliation":[]},{"given":"O.","family":"Hagner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Design and implementation of a generic graph container in java","year":"1998","author":"goldschmidt","key":"ref4"},{"journal-title":"Statistical Power Analysis for the Behavioral Sciences","year":"1977","author":"cohen","key":"ref3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753493"},{"key":"ref6","first-page":"70","article-title":"Programming by contrac: Designing for correctness","volume":"9","author":"mckim","year":"1996","journal-title":"Journal of Object Oriented Programming"},{"journal-title":"Erzeugung effizienter Laufzeitüberprüfungen von Zusicherungen","year":"1999","author":"st\u00f6rk","key":"ref11"},{"journal-title":"A Discipline for Software Engineering","year":"1997","author":"humphrey","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/52.582981"},{"key":"ref8","article-title":"A detailed description of two controlled experiments concerning the usefulness of assertions as a means for programming","author":"m\u00fcller","year":"2002","journal-title":"Technical Report 2002–461"},{"journal-title":"Object-Oriented Software Construction","year":"1988","author":"meyer","key":"ref7"},{"journal-title":"Experimental Methodology Allyn and Bacon","year":"1994","author":"christensen","key":"ref2"},{"journal-title":"And App","year":"0","author":"rosenblum","key":"ref9"},{"journal-title":"JUnit","year":"0","author":"beck","key":"ref1"}],"event":{"name":"International Conference on Software Maintenance","acronym":"ICSM-02","location":"Montreal, Que., Canada"},"container-title":["International Conference on Software Maintenance, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8357\/26332\/01167755.pdf?arnumber=1167755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T23:16:34Z","timestamp":1489446994000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1167755\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icsm.2002.1167755","relation":{},"subject":[]}}