{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:54:21Z","timestamp":1730256861358,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2001.919112","type":"proceedings-article","created":{"date-parts":[[2005,8,29]],"date-time":"2005-08-29T08:47:11Z","timestamp":1125305231000},"page":"391-400","source":"Crossref","is-referenced-by-count":9,"title":["Fast formal analysis of requirements via \"topoi diagrams\""],"prefix":"10.1109","author":[{"given":"T.","family":"Menzies","sequence":"first","affiliation":[]},{"given":"J.","family":"Powell","sequence":"additional","affiliation":[]},{"given":"M.E.","family":"Houle","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"289","article-title":"On the costs and benefits of using partial-order methods for the verificiation of concurrent systems (invited pa-pers)","author":"godefroid","year":"1997","journal-title":"The 1996 DIMACS workshop on Partial Order Methods in Verificaition July 24–26 1996"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref12","first-page":"1174","article-title":"Using global properties for qualitative reasoning: A qualitative system theory","author":"ishida","year":"1989","journal-title":"Proceedings of IJCAI '89"},{"key":"ref13","first-page":"53","article-title":"Questions, options and criteria: Elements of design space analysis","author":"maclean","year":"1996","journal-title":"Design Rationale Concepts Techniques and Use"},{"article-title":"Principles for Generalised Testing of Knowledge Bases","year":"1995","author":"menzies","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1996.0054"},{"key":"ref16","article-title":"On the practicality of abductive validation","author":"menzies","year":"1996","journal-title":"Ecai'96"},{"key":"ref17","article-title":"Applications of abduction: Testing very long qualitative simulations","author":"menzies","year":"2001","journal-title":"IEEE Transactions on Knowledge and Data Engineerin-g (To appear)"},{"key":"ref18","article-title":"Rapture\/sp2: Efficient testing of temporal properties without search space explosion","author":"menzies","year":"1999","journal-title":"NASA IV & V Facility Technical Report"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/291469.293165"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187206"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1995.1021"},{"article-title":"A system specification of patterns","year":"1997","author":"dwyer","key":"ref8"},{"key":"ref7","article-title":"Patterns in property specifications for finite-state verification","author":"dwyer","year":"1998","journal-title":"ICSE98 Proceedings of the 21st International Conference on Software Engi-neering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39190"},{"key":"ref9","first-page":"319","article-title":"Towards Hypothesis Testing: JUSTIN, Prototype System Using Justification in Context","author":"feldman","year":"1989","journal-title":"AI Proc Australian Joint Artificial Intelligence Conference"},{"key":"ref1","article-title":"Exploiting symmetry in temporal logic model checking","author":"clark","year":"1993","journal-title":"International Conference on Computer-Aided Verification"},{"article-title":"The rapture\/sp2 approach to model checking: An explanation and viability experimentation","year":"1999","author":"powell","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1998.667803"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1979.5220578"},{"key":"ref24","first-page":"141","article-title":"Hypothalamic noradrenergic activation of stress-induced adrenocorticotropin (ACTH) release: Effects of acute and chronic dexamethasone pre-treatment in the rat","volume":"6","author":"smythe","year":"1987","journal-title":"Exp Clin Endocrinol (Life Sci Adv )"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1029"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"}],"event":{"name":"23rd International Conference on Software Engineering. ICSE 2001","acronym":"ICSE-01","location":"Toronto, Ont., Canada"},"container-title":["Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7340\/19875\/00919112.pdf?arnumber=919112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T18:35:03Z","timestamp":1489170903000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/919112\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icse.2001.919112","relation":{},"subject":[]}}