{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:10Z","timestamp":1750307950675,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"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":[[2007,7,9]]},"DOI":"10.1145\/1291535.1291543","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"75-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Relating counterexamples to test cases in CTL model checking specifications"],"prefix":"10.1145","author":[{"given":"Duminda","family":"Wijesekera","sequence":"first","affiliation":[{"name":"George Mason University, Fairfax, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[{"name":"George Mason University, Fairfax, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingya","family":"Sun","sequence":"additional","affiliation":[{"name":"George Mason University, Fairfax, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Inffeldgasse, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"179","volume-title":"Proceedings ICECCS 2000: 6th IEEE International Conference on Engineering of Complex Computer Systems","author":"Abdurazik A.","year":"2000","unstructured":"A. Abdurazik , P. Ammann , W. Ding , and J. Offutt . Evaluation of three specification-based coverage testing criteria . In Proceedings ICECCS 2000: 6th IEEE International Conference on Engineering of Complex Computer Systems , pages 179 -- 187 , Tokyo, Japan , September 2000 . A. Abdurazik, P. Ammann, W. Ding, and J. Offutt. Evaluation of three specification-based coverage testing criteria. In Proceedings ICECCS 2000: 6th IEEE International Conference on Engineering of Complex Computer Systems, pages 179--187, Tokyo, Japan, September 2000."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645433.652880"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/876906.881545"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/552895.857366"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings 1996 SPIN Workshop","author":"Callahan J.","year":"1996","unstructured":"J. Callahan , F. Schneider , and S. Easterbrook . Automated Software Testing Using Model-Checking . In Proceedings 1996 SPIN Workshop , August 1996 . Also WVU Technical Report NASA-IVV-96-022. J. Callahan, F. Schneider, and S. Easterbrook. Automated Software Testing Using Model-Checking. In Proceedings 1996 SPIN Workshop, August 1996. Also WVU Technical Report NASA-IVV-96-022."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","first-page":"208","volume-title":"Verification: Theory and Practice","author":"Clarke E.","year":"2004","unstructured":"E. Clarke and H. Veith . Counterexamples revisited: Principles, algorithms, applications . In Verification: Theory and Practice , volume 2772 of Lecture Notes in Computer Science , pages 208 -- 224 , 2004 . E. Clarke and H. Veith. Counterexamples revisited: Principles, algorithms, applications. In Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, pages 208--224, 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/648063.747438"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217565"},{"key":"e_1_3_2_1_10_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"2001","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , Cambridge, MA ., 1 edition, 2001 . 3rd printing. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA., 1 edition, 2001. 3rd printing."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664590"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802190"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS'97)","author":"Engels A.","year":"1997","unstructured":"A. Engels , L. Feijs , and S. Mauw . Test generation for intelligent networks using model checking . In E. Brinksma, editor, Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS'97) , volume 1217 of Lecture Notes in Computer Science , Enschede, the Netherlands, April 1997 . Springer-Verlag . A. Engels, L. Feijs, and S. Mauw. Test generation for intelligent networks using model checking. In E. Brinksma, editor, Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS'97), volume 1217 of Lecture Notes in Computer Science, Enschede, the Netherlands, April 1997. Springer-Verlag."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318939"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2004.1431509"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-540-30232-2_17","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE","author":"Meolic R.","year":"2004","unstructured":"R. Meolic , A. Fantechi , and S. Gnesi . Witness and counterexample automata for actl . In Formal Techniques for Networked and Distributed Systems - FORTE 2004 , volume 3235 of Lecture Notes in Computer Science , pages 259 -- 275 , 2004. R. Meolic, A. Fantechi, and S. Gnesi. Witness and counterexample automata for actl. In Formal Techniques for Networked and Distributed Systems - FORTE 2004, volume 3235 of Lecture Notes in Computer Science, pages 259--275, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation","author":"Ramakrishnan C.","year":"1998","unstructured":"C. Ramakrishnan and R. Sekar . Model-based vulnerability analysis of computer systems . In Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation , September 1998 . C. Ramakrishnan and R. Sekar. Model-based vulnerability analysis of computer systems. In Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, September 1998."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270730"},{"key":"e_1_3_2_1_21_1","first-page":"83","volume-title":"Heimdahl. Coverage Based Test-Case Generation Using Model Checkers. In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001","author":"Rayadurgam S.","year":"2001","unstructured":"S. Rayadurgam and M. P. E. Heimdahl. Coverage Based Test-Case Generation Using Model Checkers. In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001 ), pages 83 -- 91 , Washington, DC , April 2001 . IEEE Computer Society. S. Rayadurgam and M. P. E. Heimdahl. Coverage Based Test-Case Generation Using Model Checkers. In Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001), pages 83--91, Washington, DC, April 2001. IEEE Computer Society."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/882494.884423"}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London United Kingdom","acronym":"ISSTA07"},"container-title":["Proceedings of the 3rd international workshop on Advances in model-based testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291535.1291543","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291535.1291543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:48Z","timestamp":1750258668000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291535.1291543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":21,"alternative-id":["10.1145\/1291535.1291543","10.1145\/1291535"],"URL":"https:\/\/doi.org\/10.1145\/1291535.1291543","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}