{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:14:45Z","timestamp":1729656885180,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/apsec.2002.1183016","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T15:35:00Z","timestamp":1056641700000},"page":"447-456","source":"Crossref","is-referenced-by-count":1,"title":["Deriving verification conditions and program assertions to support software inspection"],"prefix":"10.1109","author":[{"given":"D.","family":"Powell","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref11","article-title":"Automatic derivation o f invariants","volume":"6","author":"tamir","year":"1980"},{"key":"ref12","article-title":"A data mining approach to support the creation ofloop invariants using genetic programming","author":"fuchs","year":"1998","journal-title":"Centre for InformationScience Research Australian National University Tech Rep TR-ARP-09–98"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/2.86785"},{"journal-title":"The Cleanroom Approach to Quality Software Development","year":"1992","author":"dyer","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040205"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/268411.268421"},{"article-title":"Program verification that, is more like informalreasoning than the traditional approach","year":"0","author":"heym","key":"ref17"},{"article-title":"Repeatable formal code inspection and verification","year":"2002","author":"powell","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"article-title":"Software quality improvement, specification, derivation and measurement using formal methods","year":"1994","author":"part","key":"ref4"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/302405.302992","article-title":"Research summary for dynamic detection of programinvariants","author":"ernst","year":"1999","journal-title":"International Conference on Software Engineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/360032.360048"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00191-0"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45319-9_9","article-title":"A technique forinvariant generation","volume":"2031","author":"tiwari","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"ref8","first-page":"323","article-title":"Powerful techniquesfor the automatic generation o f invariants","volume":"1102","author":"bensalem","year":"1996","journal-title":"Proceedings of the Eighth International Conference on ComputerAided Verification CAV"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312821"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"article-title":"On the automatic discoveryo f loop, invariants","year":"1997","author":"ireland","key":"ref9"},{"key":"ref1","first-page":"19","article-title":"Assigning meanings to programs","author":"floyd","year":"1967","journal-title":"MathematicalAspects of Computer Science"},{"journal-title":"Program Derivation","year":"1989","author":"dromey","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"journal-title":"Predicate Calculus and ProgramSemantics","year":"1989","author":"dijkstra","key":"ref21"},{"journal-title":"The Logical Basis for Computer Programming","year":"1985","author":"manna","key":"ref24"},{"key":"ref23","article-title":"Re-engineering loops","volume":"39","author":"dromey","year":"1996","journal-title":"The Computer Journal"},{"journal-title":"Program Construction and Verification","year":"1986","author":"backhouse","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6272-5"}],"event":{"name":"Asia-Pacific Software Engineering Conference","acronym":"APSEC-02","location":"Gold Coast, Qld., Australia"},"container-title":["Ninth Asia-Pacific Software Engineering Conference, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8424\/26540\/01183016.pdf?arnumber=1183016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T08:58:06Z","timestamp":1623142686000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1183016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/apsec.2002.1183016","relation":{},"subject":[]}}